Compare commits
4 Commits
Author | SHA1 | Date |
---|---|---|
Jerry James | 457c8ff53f | |
Jerry James | e6e96d0b33 | |
Jerry James | ab170c549d | |
Richard W.M. Jones | cb3bc540a9 |
|
@ -1,6 +1,6 @@
|
|||
Name: ocaml-tplib
|
||||
Version: 1.3
|
||||
Release: 61%{?dist}
|
||||
Release: 56%{?dist}
|
||||
Summary: Tropical Polyhedra Library
|
||||
|
||||
License: LGPLv2+
|
||||
|
@ -123,27 +123,15 @@ _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
|
||||
|
||||
* 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
|
||||
|
||||
|
|
Loading…
Reference in New Issue