Compare commits
1 Commits
Author | SHA1 | Date | |
---|---|---|---|
|
99daa05dea |
@ -1,6 +1,6 @@
|
||||
Name: apron
|
||||
Version: 0.9.12
|
||||
Release: 3%{?dist}
|
||||
Release: 3%{?dist}.1
|
||||
Summary: Numerical abstract domain library
|
||||
|
||||
# The entire package is LGPLv2+ except newpolka/mf_qsort.c and ppl/*, all of
|
||||
@ -232,6 +232,9 @@ test/ctest1
|
||||
%{_jnidir}/*.so
|
||||
|
||||
%changelog
|
||||
* Thu Feb 27 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-3.1
|
||||
- OCaml 4.10.0 final (Fedora 32).
|
||||
|
||||
* Wed Feb 26 2020 Richard W.M. Jones <rjones@redhat.com> - 0.9.12-3
|
||||
- OCaml 4.10.0 final.
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user