[packages/LADR] rebuild with modern digest

baggins baggins at pld-linux.org
Fri Feb 20 23:40:23 CET 2026


commit ffdefc991316816d752e58b8e549d3fb4eae137a
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Fri Feb 20 23:40:21 2026 +0100

    rebuild with modern digest
    
    Release 2 (by relup.sh)

 LADR.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/LADR.spec b/LADR.spec
index 69c2fe2..dfa0925 100644
--- a/LADR.spec
+++ b/LADR.spec
@@ -6,7 +6,7 @@
 Summary:	Library for Automated Deduction Research
 Name:		LADR
 Version:	%(echo %{LADRver} | tr '-' .)
-Release:	1
+Release:	2
 License:	GPL v2
 Group:		Libraries
 Source0:	http://www.cs.unm.edu/~mccune/mace4/download/%{name}-%{LADRver}.tar.gz
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/LADR.git/commitdiff/ffdefc991316816d752e58b8e549d3fb4eae137a



More information about the pld-cvs-commit mailing list