rpms
/
ocaml-cil
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

OCaml 4.08.1 (rc2) rebuild.

This commit is contained in:
Richard W.M. Jones 2019-07-31 19:11:45 +01:00
parent 4ecdc62a9a
commit c98860e05b
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
ocaml-cil.spec
View File

@ -1,6 +1,6 @@
Name: ocaml-cil
Version: 1.7.3
Release: 50%{?dist}
Release: 51%{?dist}
Summary: CIL - Infrastructure for C Program Analysis and Transformation
License: BSD
@ -201,6 +201,9 @@ cp doc/html/cil/CIL.pdf doc/ocaml-cil/cil-manual.pdf
%changelog
* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 1.7.3-51
- OCaml 4.08.1 (rc2) rebuild.
* Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.3-50
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild