Compare commits

...

4 Commits
rawhide ... f33

Author SHA1 Message Date
Jerry James 457c8ff53f Rebuild for ocaml-zarith 1.11. 2020-11-23 14:21:28 -07:00
Jerry James e6e96d0b33 Explicitly BR make. 2020-11-23 14:21:28 -07:00
Jerry James ab170c549d Rebuild for ocaml-zarith 1.10. 2020-09-26 21:04:46 -06:00
Richard W.M. Jones cb3bc540a9 Bump release and rebuild. 2020-09-02 21:20:28 +01:00
1 changed files with 11 additions and 1 deletions

View File

@ -1,6 +1,6 @@
Name: ocaml-tplib
Version: 1.3
Release: 54%{?dist}
Release: 56%{?dist}
Summary: Tropical Polyhedra Library
License: LGPLv2+
@ -21,6 +21,7 @@ Patch0: %{name}-ocamlbuild.patch
# Adapt to current versions of mlgmpidl
Patch1: %{name}-mlgmpidl.patch
BuildRequires: make
BuildRequires: mpfr-devel
BuildRequires: ocaml
BuildRequires: ocaml-ocamlbuild-devel
@ -122,6 +123,15 @@ _build/tests/test_tplib_rational
%doc %{_mandir}/man1/*
%changelog
* Mon Nov 23 2020 Jerry James <loganjerry@gmail.com> - 1.3-56
- Rebuild for ocaml-zarith 1.11
* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 1.3-55
- Rebuild for ocaml-zarith 1.10
* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-54.1
- Bump release and rebuild.
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-54
- OCaml 4.11.1 rebuild