Compare commits
3 Commits
f33-riscv6
...
rawhide
Author | SHA1 | Date | |
---|---|---|---|
|
7548c9e05a | ||
|
9039f8d291 | ||
|
c0b690b7c1 |
@ -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
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user