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

Rebuilt for linker errors in boost (#1331983)

This commit is contained in:
Jonathan Wakely 2016-05-17 10:41:22 +01:00
parent 12b1519320
commit 867ad499eb
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.4
Release: 10%{?dist}
Release: 11%{?dist}
Summary: Automatic theorem prover for SMT problems
# License breakdown:
@ -242,6 +242,9 @@ make check
%{_jnidir}/%{name}/
%changelog
* Tue May 17 2016 Jonathan Wakely <jwakely@redhat.com> - 1.4-11
- Rebuilt for linker errors in boost (#1331983)
* Wed Feb 03 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.4-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild