rpms/alt-ergo
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
149 commits 38 branches 24 tags 292 KiB

Default branch

rawhide

259c21b750 · Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild · Updated 2026-01-16 03:37:12 +00:00
 ZIP  TAR.GZ

Branches

main

259c21b750 · Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild · Updated 2026-01-16 03:37:12 +00:00    rpms

0
0
 Included
 ZIP  TAR.GZ
f43

6544e1b439 · Rebuild for ocaml-menhir 20250912 · Updated 2025-09-16 21:08:42 +00:00    rpms

3
0
 Included
 ZIP  TAR.GZ
f41

ecc5e04c9b · OCaml 5.2.1 rebuild for Fedora 41 · Updated 2025-01-29 16:29:48 +00:00    rpms

10
1
 ZIP  TAR.GZ
f42

360d6af7b6 · Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild · Updated 2025-01-16 10:55:33 +00:00    rpms

7
0
 Included
 ZIP  TAR.GZ
f40

bd0a009525 · Rebuild for changed ocamlx(Dynlink) hash · Updated 2024-02-02 17:09:48 +00:00    rpms

16
0
 Included
 ZIP  TAR.GZ
f39

17e8a91f50 · Rebuild for ocaml-zarith 1.13 · Updated 2023-07-27 16:22:59 +00:00    rpms

24
0
 Included
 ZIP  TAR.GZ
f38

04eaf57e3a · Dune 3.7.0 changed the install location of mli files · Updated 2023-03-24 16:04:51 +00:00    rpms

30
0
 Included
 ZIP  TAR.GZ
f37

43489678ca · Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild · Updated 2022-07-20 20:41:54 +00:00    rpms

34
0
 Included
 ZIP  TAR.GZ
f36

11723f084c · Version 2.3.3. · Updated 2022-06-21 15:17:10 +00:00    rpms

38
1
 ZIP  TAR.GZ
f35

9a10ab3b2a · Rebuild for changed ocamlx(Dynlink). · Updated 2021-07-29 18:57:23 +00:00    rpms

43
0
 Included
 ZIP  TAR.GZ
f34

2cab6d39e0 · Rebuild for ocaml-zarith 1.12. · Updated 2021-03-08 17:38:27 +00:00    rpms

50
1
 ZIP  TAR.GZ
f33

e305067cd9 · Rebuild for ocaml-zarith 1.11. · Updated 2020-11-23 21:07:31 +00:00    rpms

55
4
 ZIP  TAR.GZ
f32

b313e17ea5 · Version 2.2.0. Drop upstreamed -newline patch. · Updated 2020-06-19 21:42:49 +00:00    rpms

65
4
 ZIP  TAR.GZ
f31

23076e58d8 · Rebuild for ocaml-zarith 1.9. · Updated 2019-09-06 15:11:18 +00:00    rpms

70
0
 Included
 ZIP  TAR.GZ
f30

ec408a198f · - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild · Updated 2019-01-31 13:13:44 +00:00    rpms

76
0
 Included
 ZIP  TAR.GZ
f29

cd781e2f3f · - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild · Updated 2018-07-12 20:10:03 +00:00    rpms

77
0
 Included
 ZIP  TAR.GZ
f28

c89a96d998 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild · Updated 2018-02-07 02:10:04 +00:00    rpms

80
0
 Included
 ZIP  TAR.GZ
f27

0f9f4fefff · OCaml 4.05.0 rebuild. · Updated 2017-08-07 23:17:01 +00:00    rpms

85
0
 Included
 ZIP  TAR.GZ
f26

4058a279c6 · - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild · Updated 2017-02-10 05:54:34 +00:00    rpms

92
0
 Included
 ZIP  TAR.GZ
f25

e7b8a881c1 · Update to version 1.30. · Updated 2016-12-01 19:00:03 +00:00    rpms

93
0
 Included
 ZIP  TAR.GZ