From 2cab6d39e0ec8065bdfa44cbb825f06e86599579 Mon Sep 17 00:00:00 2001 From: Jerry James Date: Wed, 3 Mar 2021 12:07:12 -0700 Subject: [PATCH] Rebuild for ocaml-zarith 1.12. --- alt-ergo.spec | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/alt-ergo.spec b/alt-ergo.spec index c5ff404..b56a195 100644 --- 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 - 2.2.0-9 +- Rebuild for ocaml-zarith 1.12 + * Thu Feb 4 2021 Jerry James - 2.2.0-8 - Updates to the desktop and metainfo files - Add -pervasives patch