Compare commits
5 Commits
rawhide
...
f33-riscv6
Author | SHA1 | Date | |
---|---|---|---|
0169b87c21 | |||
|
457c8ff53f | ||
|
e6e96d0b33 | ||
|
ab170c549d | ||
|
cb3bc540a9 |
@ -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
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user