summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f11dist-git conversionFedora Release Engineering4 years
f12dist-git conversionFedora Release Engineering4 years
f14dist-git conversionFedora Release Engineering4 years
f15The attempt at eliminating an unused direct dependency on libm fails in theJerry James3 years
f16The attempt at eliminating an unused direct dependency on libm fails in theJerry James3 years
f17- Rebuilt for c++ ABI breakageDennis Gilmore2 years
f18- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_RebuildDennis Gilmore21 months
f19Turn off parallel builds; they sometimes fail while building the Java code.Jerry James12 months
f20- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_RebuildDennis Gilmore8 months
masterMake the -java subpackage R java-headless instead of java (bz 1068020).Jerry James8 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.xz  Jerry James4 years
F-13-splitF-13-split.zip  F-13-split.tar.gz  F-13-split.tar.xz  Bill Nottingham4 years
F-13-startF-13-start.zip  F-13-start.tar.gz  F-13-start.tar.xz  Bill Nottingham4 years
cvc3-2_2-1_fc12cvc3-2_2-1_fc12.zip  cvc3-2_2-1_fc12.tar.gz  cvc3-2_2-1_fc12.tar.xz  Jerry James4 years
cvc3-2_2-1_fc13cvc3-2_2-1_fc13.zip  cvc3-2_2-1_fc13.tar.gz  cvc3-2_2-1_fc13.tar.xz  Jerry James4 years
cvc3-2_2-1_fc11cvc3-2_2-1_fc11.zip  cvc3-2_2-1_fc11.tar.gz  cvc3-2_2-1_fc11.tar.xz  Jerry James4 years
cvc3-2_1-3_fc13cvc3-2_1-3_fc13.zip  cvc3-2_1-3_fc13.tar.gz  cvc3-2_1-3_fc13.tar.xz  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.xz  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.xz  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.xz  Jerry James4 years
[...]
 
AgeCommit messageAuthorFilesLines
2014-02-24Make the -java subpackage R java-headless instead of java (bz 1068020).HEADmasterJerry James1-2/+7
2013-08-03- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuildf20Dennis Gilmore1-1/+4
2013-04-30Turn off parallel builds; they sometimes fail while building the Java code.f19Jerry 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
[...]
 
Clone
git://pkgs.fedoraproject.org/cvc3.git
ssh://pkgs.fedoraproject.org/cvc3.git
http://pkgs.fedoraproject.org/git/cvc3.git