| Parent directory/ | - | - |
| apron-0.9.11-14.348.ppc64le.rpm | 1275104 | 2019-Nov-11 18:20 |
| apron-devel-0.9.11-14.348.ppc64le.rpm | 143456 | 2019-Nov-11 18:20 |
| bison-3.0.4-61.13.ppc64le.rpm | 510668 | 2018-Jan-16 09:49 |
| coq-8.10.2-43.16.ppc64le.rpm | 68865124 | 2020-Mar-02 01:52 |
| coq-devel-8.10.2-43.16.ppc64le.rpm | 68192 | 2020-Mar-02 01:52 |
| coq-ide-8.10.2-43.16.ppc64le.rpm | 12210920 | 2020-Mar-02 01:52 |
| coq-mathcomp-1.10.0-1.17.ppc64le.rpm | 5559304 | 2020-Mar-02 05:02 |
| cvc3-2.4.1-11.68.ppc64le.rpm | 27281 | 2020-Aug-26 10:30 |
| cvc4-1.5-2.31.ppc64le.rpm | 4571343 | 2021-Feb-12 05:32 |
| cvc4-devel-1.5-2.31.ppc64le.rpm | 120364 | 2021-Feb-12 05:32 |
| flocq-3.2.0-1.22.ppc64le.rpm | 4259260 | 2020-Mar-02 03:10 |
| flocq-doc-3.2.0-1.22.ppc64le.rpm | 274792 | 2020-Mar-02 03:10 |
| flocq-source-3.2.0-1.22.ppc64le.rpm | 259556 | 2020-Mar-02 03:10 |
| gappa-1.3.5-3.17.ppc64le.rpm | 515107 | 2021-Feb-01 15:19 |
| gappalib-coq-1.4.2-2.10.ppc64le.rpm | 574928 | 2020-Mar-02 03:53 |
| gappalib-coq-source-1.4.2-2.10.ppc64le.rpm | 43856 | 2020-Mar-02 03:53 |
| hevea-2.35-13.14.ppc64le.rpm | 2185195 | 2021-Feb-11 21:54 |
| libcvc3-5-2.4.1-11.68.ppc64le.rpm | 2031454 | 2020-Aug-26 10:30 |
| libcvc3-devel-2.4.1-11.68.ppc64le.rpm | 157246 | 2020-Aug-26 10:30 |
| libppl14-1.2-13.7.ppc64le.rpm | 437766 | 2021-Feb-05 13:47 |
| libppl_c4-1.2-13.7.ppc64le.rpm | 868446 | 2021-Feb-05 13:47 |
| ltl2ba-1.1-5.67.ppc64le.rpm | 49296 | 2020-Apr-11 07:53 |
| ocaml-apron-0.9.11-14.348.ppc64le.rpm | 388332 | 2019-Nov-11 18:20 |
| ocaml-apron-devel-0.9.11-14.348.ppc64le.rpm | 543656 | 2019-Nov-11 18:20 |
| ocaml-cairo-0.6.2-10.1.ppc64le.rpm | 10938 | 2021-Jan-24 22:07 |
| ocaml-cairo-devel-0.6.2-10.1.ppc64le.rpm | 582765 | 2021-Jan-24 22:07 |
| ocaml-camlidl-1.05-24.84.ppc64le.rpm | 605561 | 2021-Feb-11 21:26 |
| ocaml-camlidl-devel-1.05-24.84.ppc64le.rpm | 233357 | 2021-Feb-11 21:26 |
| ocaml-camlp5-8.00-26.2.ppc64le.rpm | 1926346 | 2021-Feb-11 20:46 |
| ocaml-camlp5-devel-8.00-26.2.ppc64le.rpm | 4527055 | 2021-Feb-11 20:46 |
| ocaml-camlzip-1.10-4.26.ppc64le.rpm | 18580 | 2021-Jan-11 08:40 |
| ocaml-camlzip-devel-1.10-4.26.ppc64le.rpm | 344986 | 2021-Jan-11 08:40 |
| ocaml-camlzip-test-1.10-4.26.ppc64le.rpm | 726115 | 2021-Jan-11 08:40 |
| ocaml-dune-2.8.2-68.2.ppc64le.rpm | 3103171 | 2021-Feb-11 20:25 |
| ocaml-dune-devel-2.8.2-68.2.ppc64le.rpm | 5212188 | 2021-Feb-11 20:25 |
| ocaml-lablgtk3-3.1.0-8.23.ppc64le.rpm | 754809 | 2021-Jan-15 10:49 |
| ocaml-lablgtk3-devel-3.1.0-8.23.ppc64le.rpm | 13818159 | 2021-Jan-15 10:49 |
| ocaml-menhir-20200211-20.23.ppc64le.rpm | 1169237 | 2021-Feb-11 22:19 |
| ocaml-menhir-devel-20200211-20.23.ppc64le.rpm | 624733 | 2021-Feb-11 22:19 |
| ocaml-mlgmpidl-1.2.4-4.382.ppc64le.rpm | 269904 | 2020-Mar-02 01:03 |
| ocaml-mlgmpidl-devel-1.2.4-4.382.ppc64le.rpm | 132536 | 2020-Mar-02 01:03 |
| ocaml-ocamlgraph-1.8.8-19.22.ppc64le.rpm | 25030 | 2021-Jan-24 22:12 |
| ocaml-ocamlgraph-devel-1.8.8-19.22.ppc64le.rpm | 4948864 | 2021-Jan-24 22:12 |
| ocaml-ocplib-simplex-0.3-2.105.ppc64le.rpm | 105502 | 2021-Feb-12 08:06 |
| ocaml-ocplib-simplex-devel-0.3-2.105.ppc64le.rpm | 311547 | 2021-Feb-12 08:06 |
| ocaml-rpm-macros-20210209-51.1.ppc64le.rpm | 17536 | 2021-Feb-09 09:53 |
| ocaml-zarith-1.7-1.43.ppc64le.rpm | 74836 | 2020-Jan-11 09:19 |
| ocaml-zarith-devel-1.7-1.43.ppc64le.rpm | 31148 | 2020-Jan-11 09:19 |
| ott-0.25-2.17.ppc64le.rpm | 7032 | 2020-Jan-13 22:43 |
| ppl-1.2-13.7.ppc64le.rpm | 79801 | 2021-Feb-05 13:47 |
| ppl-devel-1.2-13.7.ppc64le.rpm | 429374 | 2021-Feb-05 13:47 |
| proverif-1.93-1.35.ppc64le.rpm | 1303640 | 2020-Feb-26 18:15 |