rpms/cvc4
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
90 Commits 23 Branches 0 Tags 126 KiB

Default Branch

rawhide

186b987498 · Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild · Updated 2023-01-19 00:51:49 +00:00
 ZIP  TAR.GZ

Branches

f38-riscv64

4e00685c97 · Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: · Updated 2023-05-10 10:47:28 +00:00
0
1
 ZIP  TAR.GZ
f38

186b987498 · Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild · Updated 2023-01-19 00:51:49 +00:00
0
0
 Included
 ZIP  TAR.GZ
main

186b987498 · Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild · Updated 2023-01-19 00:51:49 +00:00
0
0
 Included
 ZIP  TAR.GZ
f37

f7c24c6ad7 · Add -bash-patsub-replacement patch to fix FTBFS. · Updated 2022-10-11 20:54:00 +00:00
2
0
 Included
 ZIP  TAR.GZ
f36

32c7ee2a19 · Rebuilt for java-17-openjdk as system jdk · Updated 2022-02-05 19:22:47 +00:00
8
0
 Included
 ZIP  TAR.GZ
f35

bba850d158 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild · Updated 2021-07-21 20:16:38 +00:00
12
0
 Included
 ZIP  TAR.GZ
f34

d5a565229c · Remove spurious rpaths (bz 1967190). · Updated 2021-06-02 16:07:41 +00:00
14
0
 Included
 ZIP  TAR.GZ
f33

5629237c8f · Rebuild for cryptominisat 5.8.0. · Updated 2020-11-27 15:46:44 +00:00
18
0
 Included
 ZIP  TAR.GZ
f32

bd906d4c2b · Fix inadvertent corruption of -flags patch. · Updated 2020-04-26 23:37:11 +00:00
28
0
 Included
 ZIP  TAR.GZ
f31

e32cd51007 · Add -drat patch to fix build with latest lfsc. · Updated 2019-09-10 04:12:03 +00:00
33
0
 Included
 ZIP  TAR.GZ
f30

36b3497be2 · Rebuild for cadical 1.0.3 (bz 1731031). · Updated 2019-07-19 03:07:21 +00:00
36
0
 Included
 ZIP  TAR.GZ
f29

059d32881e · - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild · Updated 2018-07-12 22:29:26 +00:00
45
0
 Included
 ZIP  TAR.GZ
f28

e37cc6494a · - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild · Updated 2018-02-07 06:10:35 +00:00
48
0
 Included
 ZIP  TAR.GZ
f27

2e0d78bc80 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild · Updated 2017-08-02 19:23:15 +00:00
52
0
 Included
 ZIP  TAR.GZ
f26

80b85584ff · Try harder to avoid build failures due to inconsistent warning options. · Updated 2017-07-16 03:44:22 +00:00
55
0
 Included
 ZIP  TAR.GZ
f24

867ad499eb · Rebuilt for linker errors in boost (#1331983) · Updated 2016-05-17 09:41:22 +00:00
63
0
 Included
 ZIP  TAR.GZ
f25

867ad499eb · Rebuilt for linker errors in boost (#1331983) · Updated 2016-05-17 09:41:22 +00:00
63
0
 Included
 ZIP  TAR.GZ
f23

369ec59996 · - Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159 · Updated 2015-07-29 17:07:49 +00:00
68
0
 Included
 ZIP  TAR.GZ
f22

b938af95b0 · Don't use perftools at all due to random weirdness on multiple platforms. · Updated 2015-03-20 17:28:46 +00:00
72
0
 Included
 ZIP  TAR.GZ
f21

9feb5dc450 · Remove arm platforms from have_perftools due to bz 1109309. · Updated 2014-08-23 00:10:16 +00:00
78
0
 Included
 ZIP  TAR.GZ