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

Rebuild for changed ocamlx(Dynlink) hash

Browse source
This commit is contained in:
Jerry James 2024-02-02 10:09:48 -07:00
commit bd0a009525
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

@ -13,7 +13,7 @@ ExcludeArch: %{ix86}
Name: alt-ergo
Version: %{minorver}.%{patchrel}
Release: 16%{?dist}
Release: 17%{?dist}
Summary: Automated theorem prover including linear arithmetic
# The project as a whole is Apache-2.0.
@ -263,6 +263,9 @@ cd sources
%{ocamldir}/%{name}-lib/*.cmti
%changelog
* Fri Feb 2 2024 Jerry James <loganjerry@gmail.com> - 2.3.3-17
- Rebuild for changed ocamlx(Dynlink) hash
* Mon Jan 22 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.3.3-16
- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild