rpms/alt-ergo
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

OCaml 4.08.1 (rc2) rebuild.

Browse source
This commit is contained in:
Richard W.M. Jones 2019-08-01 00:02:40 +01:00
commit 004cf953df
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
alt-ergo.spec
View file

@ -9,7 +9,7 @@
Name: alt-ergo
Version: 2.0.0
Release: 2%{?dist}
Release: 3%{?dist}
Summary: Automated theorem prover including linear arithmetic
License: ASL 2.0
@ -142,6 +142,9 @@ done
%{_datadir}/icons/hicolor/*/apps/%{name}.png
%changelog
* Wed Jul 31 2019 Richard W.M. Jones <rjones@redhat.com> - 2.0.0-3
- OCaml 4.08.1 (rc2) rebuild.
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.0.0-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild