[packages/alt-ergo] rebuild with modern digest

[baggins]

commit 06a5067b17cf14193dbadf423805d41a427314a9
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Fri Feb 20 23:49:57 2026 +0100

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

 alt-ergo.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/alt-ergo.spec b/alt-ergo.spec
index 3940789..d566e98 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -1,7 +1,7 @@
 Summary:	Automated theorem prover including linear arithmetic
 Name:		alt-ergo
 Version:	0.95.2
-Release:	1
+Release:	2
 License:	CeCILL-C
 Group:		Applications/Engineering
 URL:		http://alt-ergo.lri.fr/
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/alt-ergo.git/commitdiff/06a5067b17cf14193dbadf423805d41a427314a9