rpms/cvc4
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild

Browse Source
This commit is contained in:
Fedora Release Engineering 2017-08-02 19:23:15 +00:00
parent 1c5a9c2b44
commit 2e0d78bc80
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
cvc4.spec
View File

@ -3,7 +3,7 @@
Name: cvc4
Version: 1.5
Release: 3%{?dist}
Release: 4%{?dist}
Summary: Automatic theorem prover for SMT problems
# License breakdown:
@ -248,6 +248,9 @@ make check
%{_jnidir}/%{name}/
%changelog
* Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.5-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild
* Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.5-3
- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild