BranchCommit messageAuthorAge
f15The attempt at eliminating an unused direct dependency on libm fails in theJerry James5 years
f16The attempt at eliminating an unused direct dependency on libm fails in theJerry James5 years
f17- Rebuilt for c++ ABI breakageDennis Gilmore4 years
f18- Rebuilt for Gilmore4 years
f19Turn off parallel builds; they sometimes fail while building the Java code.Jerry James3 years
f20- Rebuilt for Gilmore3 years
f21- Rebuilt for Robinson20 months
f22Use license macro.Jerry James15 months
f23- Rebuilt for Gilmore10 months
masterUnsupported by upstream. Most consumers have migrated to cvc4.Jerry James2 months
TagDownloadAuthorAge  cvc3-2_2-2_fc14.tar.gz  cvc3-2_2-2_fc14.tar.xz  Jerry James6 years  F-13-split.tar.gz  F-13-split.tar.xz  Bill Nottingham6 years  F-13-start.tar.gz  F-13-start.tar.xz  Bill Nottingham6 years  cvc3-2_2-1_fc12.tar.gz  cvc3-2_2-1_fc12.tar.xz  Jerry James6 years  cvc3-2_2-1_fc13.tar.gz  cvc3-2_2-1_fc13.tar.xz  Jerry James6 years  cvc3-2_2-1_fc11.tar.gz  cvc3-2_2-1_fc11.tar.xz  Jerry James6 years  cvc3-2_1-3_fc13.tar.gz  cvc3-2_1-3_fc13.tar.xz  Jerry James7 years  cvc3-2_1-3_fc11.tar.gz  cvc3-2_1-3_fc11.tar.xz  Jerry James7 years  cvc3-2_1-3_fc12.tar.gz  cvc3-2_1-3_fc12.tar.xz  Jerry James7 years  cvc3-2_1-2_fc12.tar.gz  cvc3-2_1-2_fc12.tar.xz  Jerry James7 years
AgeCommit messageAuthorFilesLines
2016-02-23Unsupported by upstream. Most consumers have migrated to cvc4.HEADmasterJerry James7-4199/+1
2016-02-05Build with C++98, since we will soon EOL this package anyway.Jerry James1-0/+1
2016-02-03- Rebuilt for Gilmore1-1/+4
2015-06-17- Rebuilt for Gilmore1-1/+4
2015-05-02Rebuilt for GCC 5 C++11 ABI changeKalev Lember1-1/+4
2015-02-12Use license macro.f22Jerry James1-10/+8
2014-08-16- Rebuilt for Robinson1-1/+4
2014-06-07- Rebuilt for Gilmore1-1/+4
2014-02-24Make the -java subpackage R java-headless instead of java (bz 1068020).Jerry James1-2/+7
2013-08-03- Rebuilt for Gilmore1-1/+4