Compare commits

...

5 Commits

Author SHA1 Message Date
David Abdurachmanov 0169b87c21
Bump Release
Signed-off-by: David Abdurachmanov <david.abdurachmanov@sifive.com>
2021-04-25 10:43:14 +03:00
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 14 additions and 1 deletions

View File

@ -1,6 +1,6 @@
Name: ocaml-tplib
Version: 1.3
Release: 54%{?dist}
Release: 56%{?dist}.rvre0
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,18 @@ _build/tests/test_tplib_rational
%doc %{_mandir}/man1/*
%changelog
* Sun Apr 25 2021 David Abdurachmanov <david.abdurachmanov@sifive.com> - 1.3-56.rvre0
- Rebuilt for Fedora RISCV, no changes
* 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