summaryrefslogtreecommitdiffstats
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 Gilmore5 years
f18- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_RebuildDennis Gilmore5 years
f19Turn off parallel builds; they sometimes fail while building the Java code.Jerry James4 years
f20- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_RebuildDennis Gilmore4 years
f21- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_RebuildPeter Robinson3 years
f22Use license macro.Jerry James2 years
f23- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_RebuildDennis Gilmore20 months
masterUnsupported by upstream. Most consumers have migrated to cvc4.Jerry James12 months
[...]
 
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 James7 years
F-13-splitcvc3-F-13-split.zip  cvc3-F-13-split.tar.gz  cvc3-F-13-split.tar.xz  Bill Nottingham7 years
F-13-startcvc3-F-13-start.zip  cvc3-F-13-start.tar.gz  cvc3-F-13-start.tar.xz  Bill Nottingham7 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 James7 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 James7 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 James7 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 James7 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 James7 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 James7 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 James7 years
[...]
 
AgeCommit messageAuthorFilesLines
2016-02-22Unsupported 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 https://fedoraproject.org/wiki/Fedora_24_Mass_RebuildDennis Gilmore1-1/+4
2015-06-17- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuildf23Dennis 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
[...]
 
Clone
https://src.fedoraproject.org/git/rpms/cvc3.git