rpms/yices
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
57 commits 21 branches 0 tags 72 KiB

Default branch

rawhide

a796b41161 · Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild · Updated 2026-07-17 09:34:40 +00:00
 ZIP  TAR.GZ

Branches

f45

a796b41161 · Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild · Updated 2026-07-17 09:34:40 +00:00    rpms

0
0
 Included
 ZIP  TAR.GZ
main

a796b41161 · Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild · Updated 2026-07-17 09:34:40 +00:00    rpms

0
0
 Included
 ZIP  TAR.GZ
f44

307ef2eee4 · BR tex(epstopdf.sty) · Updated 2026-04-30 20:21:41 +00:00    rpms

2
0
 Included
 ZIP  TAR.GZ
f43

548580a5a3 · Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild · Updated 2025-07-25 21:12:24 +00:00    rpms

8
0
 Included
 ZIP  TAR.GZ
f42

570a70c508 · Version 2.7.0 · Updated 2025-07-18 20:04:04 +00:00    rpms

9
0
 Included
 ZIP  TAR.GZ
f41

d056a9c7a9 · Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild · Updated 2024-07-20 10:42:09 +00:00    rpms

14
0
 Included
 ZIP  TAR.GZ
f40

e18eae7dcc · Version 2.6.5 · Updated 2024-06-25 16:12:36 +00:00    rpms

17
0
 Included
 ZIP  TAR.GZ
f39

9f72170586 · Rebuild for cadical 1.9.4 · Updated 2024-01-10 15:39:58 +00:00    rpms

24
0
 Included
 ZIP  TAR.GZ
f38

a4fab3edb0 · Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild · Updated 2023-01-21 08:05:33 +00:00    rpms

26
0
 Included
 ZIP  TAR.GZ
f37

953e1f3804 · Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild · Updated 2022-07-23 13:45:07 +00:00    rpms

30
0
 Included
 ZIP  TAR.GZ
f36

685d81a79a · - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild · Updated 2022-01-22 05:42:06 +00:00    rpms

31
0
 Included
 ZIP  TAR.GZ
f35

a218fc2b3c · Version 2.6.4. · Updated 2021-10-25 14:01:38 +00:00    rpms

33
0
 Included
 ZIP  TAR.GZ
f34

92391e3a22 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild · Updated 2021-01-28 00:33:29 +00:00    rpms

35
0
 Included
 ZIP  TAR.GZ
f33

acd9bd9b4e · Rebuild for cryptominisat 5.8.0. · Updated 2020-11-27 16:04:04 +00:00    rpms

36
0
 Included
 ZIP  TAR.GZ
f32

2323fdc98b · Rebuild for cryptominisat 5.7.0. · Updated 2020-04-25 23:34:16 +00:00    rpms

40
0
 Included
 ZIP  TAR.GZ
f31

215bda4ece · - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild · Updated 2019-07-27 04:49:35 +00:00    rpms

48
0
 Included
 ZIP  TAR.GZ
f30

706f3de7c1 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild · Updated 2019-02-03 12:59:18 +00:00    rpms

49
0
 Included
 ZIP  TAR.GZ
f29

a3d8539242 · New upstream version. · Updated 2018-10-31 02:14:02 +00:00    rpms

50
0
 Included
 ZIP  TAR.GZ
f28

f08e463574 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild · Updated 2018-02-09 22:17:25 +00:00    rpms

54
0
 Included
 ZIP  TAR.GZ
f27

1334cb5643 · Initial import. · Updated 2018-01-04 00:57:27 +00:00    rpms

55
0
 Included
 ZIP  TAR.GZ