summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f11dist-git conversionFedora Release Engineering3 years
f12dist-git conversionFedora Release Engineering3 years
f13dist-git conversionFedora Release Engineering3 years
f14dist-git conversionFedora Release Engineering3 years
f15The attempt at eliminating an unused direct dependency on libm fails in theJerry James20 months
f16The attempt at eliminating an unused direct dependency on libm fails in theJerry James20 months
f17- Rebuilt for c++ ABI breakageDennis Gilmore15 months
f18- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_RebuildDennis Gilmore10 months
f19Turn off parallel builds; they sometimes fail while building the Java code.Jerry James3 weeks
masterTurn off parallel builds; they sometimes fail while building the Java code.Jerry James3 weeks
 
TagDownloadAuthorAge
cvc3-2_2-2_fc14cvc3-2_2-2_fc14.zip  cvc3-2_2-2_fc14.tar.gz  cvc3-2_2-2_fc14.tar.bz2  Jerry James3 years
F-13-splitF-13-split.zip  F-13-split.tar.gz  F-13-split.tar.bz2  Bill Nottingham3 years
F-13-startF-13-start.zip  F-13-start.tar.gz  F-13-start.tar.bz2  Bill Nottingham3 years
cvc3-2_2-1_fc12cvc3-2_2-1_fc12.zip  cvc3-2_2-1_fc12.tar.gz  cvc3-2_2-1_fc12.tar.bz2  Jerry James3 years
cvc3-2_2-1_fc13cvc3-2_2-1_fc13.zip  cvc3-2_2-1_fc13.tar.gz  cvc3-2_2-1_fc13.tar.bz2  Jerry James3 years
cvc3-2_2-1_fc11cvc3-2_2-1_fc11.zip  cvc3-2_2-1_fc11.tar.gz  cvc3-2_2-1_fc11.tar.bz2  Jerry James3 years
cvc3-2_1-3_fc13cvc3-2_1-3_fc13.zip  cvc3-2_1-3_fc13.tar.gz  cvc3-2_1-3_fc13.tar.bz2  Jerry James4 years
cvc3-2_1-3_fc11cvc3-2_1-3_fc11.zip  cvc3-2_1-3_fc11.tar.gz  cvc3-2_1-3_fc11.tar.bz2  Jerry James4 years
cvc3-2_1-3_fc12cvc3-2_1-3_fc12.zip  cvc3-2_1-3_fc12.tar.gz  cvc3-2_1-3_fc12.tar.bz2  Jerry James4 years
cvc3-2_1-2_fc12cvc3-2_1-2_fc12.zip  cvc3-2_1-2_fc12.tar.gz  cvc3-2_1-2_fc12.tar.bz2  Jerry James4 years
[...]
 
AgeCommit messageAuthorFilesLines
2013-04-30Turn off parallel builds; they sometimes fail while building the Java code.HEADmasterf19Jerry James1-2/+4
2013-04-29Add -aarch64 support (bz 925213).Jerry James2-4/+1582
2013-02-13- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_RebuildDennis Gilmore1-1/+4
2012-07-18- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuildf18Dennis Gilmore1-1/+4
2012-02-28- Rebuilt for c++ ABI breakagef17Dennis Gilmore1-1/+4
2012-01-06Building with gcj fails, so make sure we get OpenJDK.Jerry James1-3/+1
2012-01-06Rebuild for GCC 4.7.Jerry James1-2/+5
2011-10-20rebuild with new gmp without compat libMarcela Mašláňová1-1/+4
2011-10-10rebuild with new gmpMarcela Mašláňová1-1/+4
2011-09-07The attempt at eliminating an unused direct dependency on libm fails in thef16f15Jerry James1-2/+7
[...]
 
Clone
git://pkgs.fedoraproject.org/cvc3.git
ssh://pkgs.fedoraproject.org/cvc3.git
http://pkgs.fedoraproject.org/git/cvc3.git
generated by cgit v0.9.1 at 2013-05-19 19:29:29 (GMT)