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

Rebuild OCaml packages for F38

Browse source
This commit is contained in:
Richard W.M. Jones 2023-01-24 19:34:17 +00:00
commit 4dfd264ff4
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

@ -11,7 +11,7 @@
Name: why3
Version: 1.5.1
Release: 5%{?dist}
Release: 6%{?dist}
Summary: Software verification platform
License: LGPL-2.1-only WITH OCaml-LGPL-linking-exception
@ -310,6 +310,9 @@ chmod 0755 %{buildroot}%{_bindir}/* \
%files all
%changelog
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 1.5.1-6
- Rebuild OCaml packages for F38
* Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.1-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild