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

Rebuild for ocaml-menhir 20240715, ocaml-ppxlib 0.33.0, and ocaml-zip 1.1.2

Browse source
This commit is contained in:
Jerry James 2024-08-05 11:24:06 -06:00
commit acda593bf2
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

@ -8,7 +8,7 @@ ExclusiveArch: %{ocaml_native_compiler}
Name: why3
Version: 1.7.2
Release: 7%{?dist}
Release: 8%{?dist}
Summary: Software verification platform
License: LGPL-2.1-only WITH OCaml-LGPL-linking-exception
@ -283,6 +283,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \
%files all
%changelog
* Mon Aug 5 2024 Jerry James <loganjerry@gmail.com> - 1.7.2-8
- Rebuild for ocaml-menhir 20240715, ocaml-ppxlib 0.33.0, and ocaml-zip 1.1.2
* Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.2-7
- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild