Rebuild for ocaml-zarith 1.11.

Explicitly BR make.
Rebuild for ocaml-zarith 1.10.
2020-11-23 14:07:31 -07:00 · 2020-11-23 14:07:31 -07:00 · 2020-09-26 21:11:21 -06:00 · 2020-09-02 22:58:20 +01:00
1 changed files with 11 additions and 1 deletions
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@ -8,7 +8,7 @@

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

@ -24,6 +24,7 @@ Patch0:		%{name}-1.30-use-pic.patch

 BuildRequires:	desktop-file-utils
 BuildRequires:	gtksourceview2-devel
+BuildRequires:	make
 BuildRequires:	ocaml
 BuildRequires:	ocaml-findlib
 BuildRequires:	ocaml-lablgtk-devel
@ -176,6 +177,15 @@ done
 %{_libdir}/ocaml/%{name}/altErgoLib.cmt

 %changelog
+* Mon Nov 16 2020 Jerry James <loganjerry@gmail.com> - 2.2.0-6
+- Rebuild for ocaml-zarith 1.11
+
+* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 2.2.0-5
+- Rebuild for ocaml-zarith 1.10
+
+* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 2.2.0-4.1
+- Bump release and rebuild.
+
 * Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 2.2.0-4
 - OCaml 4.11.1 rebuild
Author	SHA1	Message	Date
Jerry James	e305067cd9	Rebuild for ocaml-zarith 1.11.	2020-11-23 14:07:31 -07:00
Jerry James	c40f4de007	Explicitly BR make.	2020-11-23 14:07:31 -07:00
Jerry James	ee3eafbcb1	Rebuild for ocaml-zarith 1.10.	2020-09-26 21:11:21 -06:00
Richard W.M. Jones	a6df257944	Bump release and rebuild.	2020-09-02 22:58:20 +01:00