Compare commits
8 Commits
Author | SHA1 | Date | |
---|---|---|---|
|
56f0b30345 | ||
|
13d664ec46 | ||
|
3a995b9be6 | ||
|
ef715e7ad3 | ||
|
9dc45b49e4 | ||
|
6313bc2939 | ||
|
d9581084f4 | ||
|
83410ac2cb |
@ -1,6 +1,6 @@
|
|||||||
Name: ocaml-tplib
|
Name: ocaml-tplib
|
||||||
Version: 1.3
|
Version: 1.3
|
||||||
Release: 54%{?dist}
|
Release: 61%{?dist}
|
||||||
Summary: Tropical Polyhedra Library
|
Summary: Tropical Polyhedra Library
|
||||||
|
|
||||||
License: LGPLv2+
|
License: LGPLv2+
|
||||||
@ -21,6 +21,7 @@ Patch0: %{name}-ocamlbuild.patch
|
|||||||
# Adapt to current versions of mlgmpidl
|
# Adapt to current versions of mlgmpidl
|
||||||
Patch1: %{name}-mlgmpidl.patch
|
Patch1: %{name}-mlgmpidl.patch
|
||||||
|
|
||||||
|
BuildRequires: make
|
||||||
BuildRequires: mpfr-devel
|
BuildRequires: mpfr-devel
|
||||||
BuildRequires: ocaml
|
BuildRequires: ocaml
|
||||||
BuildRequires: ocaml-ocamlbuild-devel
|
BuildRequires: ocaml-ocamlbuild-devel
|
||||||
@ -122,6 +123,27 @@ _build/tests/test_tplib_rational
|
|||||||
%doc %{_mandir}/man1/*
|
%doc %{_mandir}/man1/*
|
||||||
|
|
||||||
%changelog
|
%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
|
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.3-54
|
||||||
- OCaml 4.11.1 rebuild
|
- OCaml 4.11.1 rebuild
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user