Compare commits

...

8 Commits

Author SHA1 Message Date
Richard W.M. Jones 56f0b30345 Bump and rebuild for updated ocaml-findlib. 2021-03-15 15:45:43 +00:00
Jerry James 13d664ec46 Rebuild for ocaml-zarith 1.12. 2021-03-03 12:11:21 -07:00
Richard W.M. Jones 3a995b9be6 OCaml 4.12.0 build 2021-03-01 17:06:23 +00:00
Jerry James ef715e7ad3 Bump and rebuild for updated ocaml Dynlink dependency. 2021-02-17 21:55:04 -07:00
Fedora Release Engineering 9dc45b49e4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2021-01-26 22:09:18 +00:00
Jerry James 6313bc2939 Rebuild for ocaml-zarith 1.11. 2020-11-23 14:12:50 -07:00
Jerry James d9581084f4 Explicitly BR make. 2020-11-09 16:53:38 -07:00
Jerry James 83410ac2cb Rebuild for ocaml-zarith 1.10. 2020-09-25 13:16:25 -06:00
1 changed files with 23 additions and 1 deletions

View File

@ -1,6 +1,6 @@
Name: ocaml-tplib
Version: 1.3
Release: 54%{?dist}
Release: 61%{?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,27 @@ _build/tests/test_tplib_rational
%doc %{_mandir}/man1/*
%changelog
* Mon Mar 15 2021 Richard W.M. Jones <rjones@redhat.com> - 1.3-61
- Bump and rebuild for updated ocaml-findlib.
* Wed Mar 3 2021 Jerry James <loganjerry@gmail.com> - 1.3-60
- Rebuild for ocaml-zarith 1.12
* Mon Mar 1 17:06:22 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 1.3-59
- OCaml 4.12.0 build
* Wed Feb 17 2021 Jerry James <loganjerry@gmail.com> - 1.3-58
- Bump and rebuild for updated ocaml Dynlink dependency
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3-57
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* 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
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-54
- OCaml 4.11.1 rebuild