rpms
/
z3
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

OCaml 4.13.1 rebuild to remove package notes

This commit is contained in:
Richard W.M. Jones 2022-02-04 13:29:49 +00:00
parent 4a9d6bf0fd
commit cea5f750e3
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
z3.spec
View File

@ -1,10 +1,11 @@
%undefine _package_note_flags
# Tests are off by default because some of the tests require more memory than
# the koji builders have available.
%bcond_with test
Name: z3
Version: 4.8.14
Release: 2%{?dist}
Release: 3%{?dist}
Summary: Satisfiability Modulo Theories (SMT) solver
License: MIT
@ -229,6 +230,9 @@ cd -
%{python3_sitelib}/%{name}/
%changelog
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 4.8.14-3
- OCaml 4.13.1 rebuild to remove package notes
* Sat Jan 22 2022 Fedora Release Engineering <releng@fedoraproject.org> - 4.8.14-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild