summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f11dist-git conversionFedora Release Engineering5 years
f15The attempt at eliminating an unused direct dependency on libm fails in theJerry James4 years
f16The attempt at eliminating an unused direct dependency on libm fails in theJerry James4 years
f17- Rebuilt for c++ ABI breakageDennis Gilmore3 years
f18- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_RebuildDennis Gilmore3 years
f19Turn off parallel builds; they sometimes fail while building the Java code.Jerry James2 years
f20- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_RebuildDennis Gilmore23 months
f21- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_RebuildPeter Robinson11 months
f22Use license macro.Jerry James5 months
master- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_RebuildDennis Gilmore2 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 James5 years
F-13-splitF-13-split.zip  F-13-split.tar.gz  F-13-split.tar.xz  Bill Nottingham6 years
F-13-startF-13-start.zip  F-13-start.tar.gz  F-13-start.tar.xz  Bill Nottingham6 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 James6 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 James6 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 James6 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 James6 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 James6 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 James6 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 James6 years
[...]
 
AgeCommit messageAuthorFilesLines
2015-06-17- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_RebuildHEADmasterDennis 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 https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuildf21Peter Robinson1-1/+4
2014-06-07- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_RebuildDennis 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 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
[...]
 
Clone
git://pkgs.fedoraproject.org/cvc3.git
ssh://pkgs.fedoraproject.org/cvc3.git
http://pkgs.fedoraproject.org/git/cvc3.git