rpms
/
z3
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
128 Commits 24 Branches 0 Tags 302 KiB

Default Branch

rawhide

7e13c11207 · Fix python package library load name (bz 2255464) · Updated 2023-12-21 16:06:18 +00:00
 ZIP  TAR.GZ

Branches

main-riscv64

042e9c8a1d · Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: · Updated 2023-12-31 15:00:00 +00:00    davidlt

0
3
 ZIP  TAR.GZ
f39

f87466ebb0 · Fix python package library load name (bz 2255464) · Updated 2023-12-21 16:48:53 +00:00    davidlt

3
1
 ZIP  TAR.GZ
main

7e13c11207 · Fix python package library load name (bz 2255464) · Updated 2023-12-21 16:06:18 +00:00    davidlt

0
0
 Included
 ZIP  TAR.GZ
f38

ee66c97a95 · Version 4.12.2 · Updated 2023-05-15 14:44:33 +00:00
15
0
 Included
 ZIP  TAR.GZ
f38-riscv64

741c8aefd3 · Rebuilt for Fedora/RISCV (riscv64); adding .rvreX to Release: · Updated 2023-05-10 07:16:12 +00:00
16
1
 ZIP  TAR.GZ
f36

05761f7707 · Add -data-race patch to fix segfault (bz 2157972). · Updated 2023-01-09 17:00:04 +00:00
30
1
 ZIP  TAR.GZ
f37

aca6b5306f · Add -data-race patch to fix segfault (bz 2157972). · Updated 2023-01-09 04:56:34 +00:00
20
0
 Included
 ZIP  TAR.GZ
epel9

d44508e7e3 · Add -ambiguous-overload patch to fix cppcheck build failure. · Updated 2022-03-24 19:58:33 +00:00
31
0
 Included
 ZIP  TAR.GZ
f34

a41041377d · Version 4.8.14. Conditionalize the %check script. · Updated 2021-12-24 23:07:41 +00:00
47
5
 ZIP  TAR.GZ
f35

6ffdbbf843 · Version 4.8.14. Conditionalize the %check script. · Updated 2021-12-24 18:30:57 +00:00
36
0
 Included
 ZIP  TAR.GZ
f33

dc29bbe7e3 · Fix the python interface (bz 1910923). · Updated 2020-12-26 16:15:22 +00:00
54
6
 ZIP  TAR.GZ
f32

e7240c2911 · Version 4.8.8. Drop all patches; all have been upstreamed. · Updated 2020-05-10 02:09:23 +00:00
70
2
 ZIP  TAR.GZ
f31

692cf253e4 · Add -trailing-zeros32 patch to fix build failures on some platforms. · Updated 2019-11-21 23:12:33 +00:00
78
0
 Included
 ZIP  TAR.GZ
f30

fb4076ae94 · New upstream version. · Updated 2019-06-22 15:11:24 +00:00
86
0
 Included
 ZIP  TAR.GZ
f29

e6a17e9e23 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild · Updated 2018-07-14 09:46:20 +00:00
95
0
 Included
 ZIP  TAR.GZ
f28

43e43e0b63 · New upstream version (bz 1581516). Drop upstreamed -vector patch. · Updated 2018-05-23 03:32:35 +00:00
99
0
 Included
 ZIP  TAR.GZ
f27

ffafa1295e · OCaml 4.05.0 rebuild. · Updated 2017-08-08 18:58:20 +00:00
106
0
 Included
 ZIP  TAR.GZ
f26

be4593cb92 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild · Updated 2017-02-11 18:20:16 +00:00
110
0
 Included
 ZIP  TAR.GZ
f25

1afb4a3f9f · New upstream version. · Updated 2016-11-10 23:07:47 +00:00
111
0
 Included
 ZIP  TAR.GZ
f23

048436281a · Fix Java interface (bz 1353773). · Updated 2016-07-13 21:07:47 +00:00
114
0
 Included
 ZIP  TAR.GZ