rpms/z3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
170 commits 28 branches 0 tags 214 KiB

Default branch

rawhide

9e823927c1 · Version 5.1.0 · Updated 2026-08-22 14:06:31 +00:00
 ZIP  TAR.GZ

Branches

f45

9e823927c1 · Version 5.1.0 · Updated 2026-08-22 14:06:31 +00:00    rpms

0
0
 Included
 ZIP  TAR.GZ
main

9e823927c1 · Version 5.1.0 · Updated 2026-08-22 14:06:31 +00:00    rpms

0
0
 Included
 ZIP  TAR.GZ
f44

d409226999 · Version 4.16.0 · Updated 2026-03-03 13:49:05 +00:00    rpms

5
0
 Included
 ZIP  TAR.GZ
f43

ee37bb9481 · Version 4.15.8 · Updated 2026-02-13 02:24:36 +00:00    rpms

10
2
 ZIP  TAR.GZ
f42

126bc2fd23 · Version 4.15.4 · Updated 2025-10-30 18:28:37 +00:00    rpms

22
4
 ZIP  TAR.GZ
f41

91c848ba1e · OCaml 5.2.1 rebuild for Fedora 41 · Updated 2025-01-29 14:02:31 +00:00    rpms

29
1
 ZIP  TAR.GZ
f40

545ba8ea0e · Version 4.13.3 · Updated 2024-10-11 19:26:55 +00:00    rpms

37
3
 ZIP  TAR.GZ
f39

d8e4b81d74 · Version 4.12.6 · Updated 2024-02-25 19:47:00 +00:00    rpms

45
3
 ZIP  TAR.GZ
f38

ee66c97a95 · Version 4.12.2 · Updated 2023-05-15 14:44:33 +00:00    rpms

57
0
 Included
 ZIP  TAR.GZ
f36

05761f7707 · Add -data-race patch to fix segfault (bz 2157972). · Updated 2023-01-09 17:00:04 +00:00    rpms

72
1
 ZIP  TAR.GZ
f37

aca6b5306f · Add -data-race patch to fix segfault (bz 2157972). · Updated 2023-01-09 04:56:34 +00:00    rpms

62
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    rpms

73
0
 Included
 ZIP  TAR.GZ
f34

a41041377d · Version 4.8.14. Conditionalize the %check script. · Updated 2021-12-24 23:07:41 +00:00    rpms

89
5
 ZIP  TAR.GZ
f35

6ffdbbf843 · Version 4.8.14. Conditionalize the %check script. · Updated 2021-12-24 18:30:57 +00:00    rpms

78
0
 Included
 ZIP  TAR.GZ
f33

dc29bbe7e3 · Fix the python interface (bz 1910923). · Updated 2020-12-26 16:15:22 +00:00    rpms

96
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    rpms

112
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    rpms

120
0
 Included
 ZIP  TAR.GZ
f30

fb4076ae94 · New upstream version. · Updated 2019-06-22 15:11:24 +00:00    rpms

128
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    rpms

137
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    rpms

141
0
 Included
 ZIP  TAR.GZ