rpms/why3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
210 commits 32 branches 0 tags 276 KiB

Default branch

rawhide

cb0c5c7d69 · Rebuild for ocaml-ppx-deriving 6.1.3 · Updated 2026-07-29 18:32:20 +00:00
 ZIP  TAR.GZ

Branches

f45

cb0c5c7d69 · Rebuild for ocaml-ppx-deriving 6.1.3 · Updated 2026-07-29 18:32:20 +00:00    rpms

0
0
 Included
 ZIP  TAR.GZ
main

cb0c5c7d69 · Rebuild for ocaml-ppx-deriving 6.1.3 · Updated 2026-07-29 18:32:20 +00:00    rpms

0
0
 Included
 ZIP  TAR.GZ
f44

cfd29ec6fd · Rebuild for rocq 9.2.0 · Updated 2026-04-16 18:23:41 +00:00    rpms

3
0
 Included
 ZIP  TAR.GZ
f42

d8e269ccc7 · Version 1.8.2 · Updated 2025-09-17 14:24:54 +00:00    rpms

23
4
 ZIP  TAR.GZ
f43

10869d3c2e · Version 1.8.2 · Updated 2025-09-16 21:25:39 +00:00    rpms

12
0
 Included
 ZIP  TAR.GZ
f41

d7672366f8 · OCaml 5.2.1 rebuild for Fedora 41 · Updated 2025-01-29 22:01:28 +00:00    rpms

30
2
 ZIP  TAR.GZ
f39

0e4b6bbc82 · Version 1.7.2 · Updated 2024-04-18 18:18:03 +00:00    rpms

47
3
 ZIP  TAR.GZ
f40

8000f2ad4a · Version 1.7.2 · Updated 2024-04-18 15:47:00 +00:00    rpms

37
0
 Included
 ZIP  TAR.GZ
f38

58ce267978 · Rebuild for coq 8.17.1 · Updated 2023-10-18 16:08:29 +00:00    rpms

57
1
 ZIP  TAR.GZ
f37

207ba180d9 · Rebuild for coq 8.16.1. · Updated 2022-11-27 01:45:19 +00:00    rpms

61
0
 Included
 ZIP  TAR.GZ
f35

532167df2c · Rebuild for coq 8.13.2-4. · Updated 2022-10-17 15:54:14 +00:00    rpms

79
1
 ZIP  TAR.GZ
f36

1c09f7fef3 · Rebuild for coq 8.15.2. · Updated 2022-06-22 16:42:26 +00:00    rpms

69
1
 ZIP  TAR.GZ
f34

dd89886031 · Version 1.4.0. · Updated 2021-07-16 03:47:52 +00:00    rpms

85
3
 ZIP  TAR.GZ
f33

7f512ab14e · Rebuild for flocq 3.4.0. · Updated 2021-01-03 17:14:27 +00:00    rpms

92
6
 ZIP  TAR.GZ
f32

a6abbef3ab · Rebuild for coq 8.11.2. · Updated 2020-06-16 16:28:31 +00:00    rpms

107
4
 ZIP  TAR.GZ
f31

bdc120e127 · Make the dependency on ocaml-num explicit (bz 1795083). · Updated 2020-04-12 19:30:17 +00:00    rpms

113
2
 ZIP  TAR.GZ
f30

55c94dd77b · - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild · Updated 2019-02-03 11:42:01 +00:00    rpms

120
0
 Included
 ZIP  TAR.GZ
f29

773d9e33de · - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild · Updated 2018-07-14 08:49:58 +00:00    rpms

123
0
 Included
 ZIP  TAR.GZ
f28

b4db206099 · New upstream release. · Updated 2018-02-13 03:15:33 +00:00    rpms

127
0
 Included
 ZIP  TAR.GZ
f27

6405733142 · New upstream release. · Updated 2017-10-07 21:38:39 +00:00    rpms

134
0
 Included
 ZIP  TAR.GZ