rpms/zenon
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
137 commits 40 branches 25 tags 157 KiB

Default branch

rawhide

89d4ce2b46 · Rebuild to fix rocq dependencies · Updated 2026-07-29 18:07:50 +00:00
 ZIP  TAR.GZ

Branches

f45

89d4ce2b46 · Rebuild to fix rocq dependencies · Updated 2026-07-29 18:07:50 +00:00    rpms

0
0
 Included
 ZIP  TAR.GZ
main

89d4ce2b46 · Rebuild to fix rocq dependencies · Updated 2026-07-29 18:07:50 +00:00    rpms

0
0
 Included
 ZIP  TAR.GZ
f44

908bb57416 · Rebuild for rocq 9.2.0 · Updated 2026-04-16 17:36:07 +00:00    rpms

3
0
 Included
 ZIP  TAR.GZ
f43

fe5842f5b3 · Bump and rebuild · Updated 2025-08-22 15:47:09 +00:00    rpms

9
0
 Included
 ZIP  TAR.GZ
f41

5f710a98b5 · OCaml 5.2.1 rebuild for Fedora 41 · Updated 2025-01-29 21:13:30 +00:00    rpms

16
1
 ZIP  TAR.GZ
f42

b9a87dfa9e · Rebuild for coq 8.20.1 · Updated 2025-01-22 22:37:14 +00:00    rpms

13
0
 Included
 ZIP  TAR.GZ
f40

7cb80570d2 · Rebuild for rebuilt coq · Updated 2024-02-02 23:29:48 +00:00    rpms

21
0
 Included
 ZIP  TAR.GZ
f39

a46d61aa45 · Rebuild for coq 8.18.0 · Updated 2024-01-03 00:38:49 +00:00    rpms

27
1
 ZIP  TAR.GZ
f38

7f921a708e · Rebuild for coq 8.17.1 · Updated 2023-10-18 15:48:32 +00:00    rpms

34
1
 ZIP  TAR.GZ
f37

84a2c3338c · Rebuild for coq 8.16.1. · Updated 2022-11-27 01:25:07 +00:00    rpms

38
0
 Included
 ZIP  TAR.GZ
f36

c5b263cf0e · Rebuild for coq 8.15.2. · Updated 2022-06-22 16:22:57 +00:00    rpms

45
1
 ZIP  TAR.GZ
f35

e5c4ed1bc3 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild · Updated 2021-07-23 22:16:19 +00:00    rpms

53
0
 Included
 ZIP  TAR.GZ
f34

1ed21bd3e4 · Rebuild for coq 8.13.2. · Updated 2021-06-13 01:04:53 +00:00    rpms

57
2
 ZIP  TAR.GZ
f33

db886e0d57 · Rebuild for coq 8.12.2. · Updated 2020-12-24 17:24:25 +00:00    rpms

62
4
 ZIP  TAR.GZ
f32

05bcdfc5b3 · Rebuild for coq 8.11.2. · Updated 2020-06-16 15:47:03 +00:00    rpms

72
2
 ZIP  TAR.GZ
f31

9fed1d3957 · OCaml 4.08.1 (rc2) rebuild. · Updated 2019-08-01 20:12:10 +00:00    rpms

76
0
 Included
 ZIP  TAR.GZ
f30

39d7124af8 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild · Updated 2019-02-03 13:09:36 +00:00    rpms

79
0
 Included
 ZIP  TAR.GZ
f29

bff13fe286 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild · Updated 2018-07-14 09:49:12 +00:00    rpms

82
0
 Included
 ZIP  TAR.GZ
f28

29a519b1ea · Rebuild for coq 8.7.1. · Updated 2018-02-13 03:12:17 +00:00    rpms

83
0
 Included
 ZIP  TAR.GZ
f27

644775cca8 · Rebuild for coq 8.6.1. · Updated 2017-09-07 02:11:17 +00:00    rpms

86
0
 Included
 ZIP  TAR.GZ