[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