Compare commits

...

3 Commits

Author SHA1 Message Date
Richard W.M. Jones
7548c9e05a OCaml 4.12.0 build 2021-03-01 17:26:08 +00:00
Fedora Release Engineering
9039f8d291 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2021-01-26 21:54:49 +00:00
Tom Stellard
c0b690b7c1 Add BuildRequires: make
https://fedoraproject.org/wiki/Changes/Remove_make_from_BuildRoot
2021-01-07 06:11:17 +00:00

View File

@ -3,13 +3,14 @@
Name: ocaml-cil
Version: 1.7.3
Release: 65%{?dist}
Release: 67%{?dist}
Summary: CIL - Infrastructure for C Program Analysis and Transformation
License: BSD
URL: https://github.com/cil-project/cil
Source0: https://github.com/cil-project/cil/archive/cil-%{version}.tar.gz
BuildRequires: make
BuildRequires: ocaml
BuildRequires: ocaml-ocamlbuild
BuildRequires: ocaml-findlib-devel
@ -204,6 +205,12 @@ cp doc/html/cil/CIL.pdf doc/ocaml-cil/cil-manual.pdf
%changelog
* Mon Mar 1 17:26:07 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-67
- OCaml 4.12.0 build
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-66
- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Tue Sep 01 2020 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-65
- OCaml 4.11.1 rebuild