Compare commits
1 Commits
Author | SHA1 | Date |
---|---|---|
|
2644500e0c |
|
@ -4,7 +4,7 @@
|
||||||
|
|
||||||
Name: ocaml-facile
|
Name: ocaml-facile
|
||||||
Version: 1.1
|
Version: 1.1
|
||||||
Release: 69%{?dist}
|
Release: 67%{?dist}.1
|
||||||
Summary: OCaml library for constraint programming
|
Summary: OCaml library for constraint programming
|
||||||
Summary(fr): Librairie OCaml de programmation par contraintes
|
Summary(fr): Librairie OCaml de programmation par contraintes
|
||||||
License: LGPLv2+
|
License: LGPLv2+
|
||||||
|
@ -20,7 +20,6 @@ Patch0: facile-1.1-makefile-fixes.patch
|
||||||
# Fix for OCaml 4.00.0.
|
# Fix for OCaml 4.00.0.
|
||||||
Patch1: ocaml-facile-ocaml-4.patch
|
Patch1: ocaml-facile-ocaml-4.patch
|
||||||
|
|
||||||
BuildRequires: make
|
|
||||||
BuildRequires: ocaml >= 3.02
|
BuildRequires: ocaml >= 3.02
|
||||||
BuildRequires: ocaml-findlib-devel
|
BuildRequires: ocaml-findlib-devel
|
||||||
|
|
||||||
|
@ -104,11 +103,8 @@ make install
|
||||||
%{_libdir}/ocaml/facile/*.mli
|
%{_libdir}/ocaml/facile/*.mli
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
* Mon Mar 1 17:18:05 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 1.1-69
|
* Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 1.1-67.1
|
||||||
- OCaml 4.12.0 build
|
- Bump release and rebuild.
|
||||||
|
|
||||||
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.1-68
|
|
||||||
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
|
|
||||||
|
|
||||||
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.1-67
|
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.1-67
|
||||||
- OCaml 4.11.1 rebuild
|
- OCaml 4.11.1 rebuild
|
||||||
|
|
Loading…
Reference in New Issue