Rebuild for ocaml-zarith 1.12.

2021-03-08 10:38:27 -07:00
1 changed files with 4 additions and 1 deletions
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@ -8,7 +8,7 @@

 Name:		alt-ergo
 Version:	2.2.0
-Release:	8%{?dist}
+Release:	9%{?dist}
 Summary:	Automated theorem prover including linear arithmetic
 License:	ASL 2.0

@ -182,6 +182,9 @@ done
 %{_libdir}/ocaml/%{name}/altErgoLib.cmt

 %changelog
+* Wed Mar  3 2021 Jerry James <loganjerry@gmail.com> - 2.2.0-9
+- Rebuild for ocaml-zarith 1.12
+
 * Thu Feb  4 2021 Jerry James <loganjerry@gmail.com> - 2.2.0-8
 - Updates to the desktop and metainfo files
 - Add -pervasives patch