rpms/why3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rebuild for coq 8.13.1 and ocaml-zarith 1.12.

Browse source
This commit is contained in:
Jerry James 2021-03-03 12:13:33 -07:00
commit fa27403bfb
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
why3.spec
View file

@ -9,7 +9,7 @@
Name: why3
Version: 1.3.3
Release: 7%{?dist}
Release: 8%{?dist}
Summary: Software verification platform
# See LICENSE for the terms of the exception
@ -326,6 +326,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \
%files all
%changelog
* Wed Mar 3 2021 Jerry James <loganjerry@gmail.com> - 1.3.3-8
- Rebuild for coq 8.13.1 and ocaml-zarith 1.12
* Tue Mar 2 11:18:12 GMT 2021 Richard W.M. Jones <rjones@redhat.com> - 1.3.3-7
- OCaml 4.12.0 build