| Parent directory/ | - | - |
| apron-0.9.11-14.356.ppc64.rpm | 1272016 | 2020-Feb-16 01:26 |
| apron-devel-0.9.11-14.356.ppc64.rpm | 143440 | 2020-Feb-16 01:26 |
| bison-3.0.4-61.13.ppc64.rpm | 507112 | 2018-Jan-16 09:47 |
| coq-8.10.2-43.16.ppc64.rpm | 68021104 | 2020-Mar-02 01:17 |
| coq-devel-8.10.2-43.16.ppc64.rpm | 68128 | 2020-Mar-02 01:17 |
| coq-ide-8.10.2-43.16.ppc64.rpm | 11953188 | 2020-Mar-02 01:17 |
| coq-mathcomp-1.10.0-1.17.ppc64.rpm | 5560100 | 2020-Mar-02 05:07 |
| cvc3-2.4.1-11.68.ppc64.rpm | 29222 | 2020-Aug-26 12:59 |
| cvc4-1.5-2.31.ppc64.rpm | 5667421 | 2021-Feb-12 09:03 |
| cvc4-devel-1.5-2.31.ppc64.rpm | 120321 | 2021-Feb-12 09:03 |
| flocq-3.2.0-1.22.ppc64.rpm | 4259256 | 2020-Mar-02 02:44 |
| flocq-doc-3.2.0-1.22.ppc64.rpm | 274728 | 2020-Mar-02 02:44 |
| flocq-source-3.2.0-1.22.ppc64.rpm | 259500 | 2020-Mar-02 02:44 |
| gappa-1.3.5-3.17.ppc64.rpm | 522589 | 2021-Feb-01 15:13 |
| gappalib-coq-1.4.2-2.10.ppc64.rpm | 574716 | 2020-Mar-02 03:18 |
| gappalib-coq-source-1.4.2-2.10.ppc64.rpm | 43800 | 2020-Mar-02 03:18 |
| hevea-2.35-13.14.ppc64.rpm | 2259153 | 2021-Feb-12 01:32 |
| libcvc3-5-2.4.1-11.68.ppc64.rpm | 2327557 | 2020-Aug-26 12:59 |
| libcvc3-devel-2.4.1-11.68.ppc64.rpm | 157193 | 2020-Aug-26 12:59 |
| libppl14-1.2-13.7.ppc64.rpm | 519745 | 2021-Feb-05 14:48 |
| libppl_c4-1.2-13.7.ppc64.rpm | 907908 | 2021-Feb-05 14:48 |
| ltl2ba-1.1-5.67.ppc64.rpm | 47328 | 2020-Apr-11 07:44 |
| ocaml-apron-0.9.11-14.356.ppc64.rpm | 387028 | 2020-Feb-16 01:26 |
| ocaml-apron-devel-0.9.11-14.356.ppc64.rpm | 545784 | 2020-Feb-16 01:26 |
| ocaml-cairo-0.6.2-10.1.ppc64.rpm | 10885 | 2021-Jan-24 22:07 |
| ocaml-cairo-devel-0.6.2-10.1.ppc64.rpm | 591670 | 2021-Jan-24 22:07 |
| ocaml-camlidl-1.05-24.84.ppc64.rpm | 610944 | 2021-Feb-12 00:11 |
| ocaml-camlidl-devel-1.05-24.84.ppc64.rpm | 233475 | 2021-Feb-12 00:11 |
| ocaml-camlp5-7.12-24.5.ppc64.rpm | 1723424 | 2021-Jan-11 07:01 |
| ocaml-camlp5-devel-7.12-24.5.ppc64.rpm | 3836108 | 2021-Jan-11 07:01 |
| ocaml-camlzip-1.10-4.26.ppc64.rpm | 18539 | 2021-Jan-15 10:47 |
| ocaml-camlzip-devel-1.10-4.26.ppc64.rpm | 347348 | 2021-Jan-15 10:47 |
| ocaml-camlzip-test-1.10-4.26.ppc64.rpm | 768605 | 2021-Jan-15 10:47 |
| ocaml-dune-2.8.2-68.2.ppc64.rpm | 3159678 | 2021-Feb-11 23:54 |
| ocaml-dune-devel-2.8.2-68.2.ppc64.rpm | 5239480 | 2021-Feb-11 23:54 |
| ocaml-lablgtk3-3.1.0-8.23.ppc64.rpm | 777877 | 2021-Jan-15 10:59 |
| ocaml-lablgtk3-devel-3.1.0-8.23.ppc64.rpm | 13888000 | 2021-Jan-15 10:59 |
| ocaml-menhir-20200211-20.23.ppc64.rpm | 1180607 | 2021-Feb-12 02:08 |
| ocaml-menhir-devel-20200211-20.23.ppc64.rpm | 624488 | 2021-Feb-12 02:08 |
| ocaml-mlgmpidl-1.2.4-4.382.ppc64.rpm | 271168 | 2020-Mar-02 00:29 |
| ocaml-mlgmpidl-devel-1.2.4-4.382.ppc64.rpm | 130672 | 2020-Mar-02 00:29 |
| ocaml-ocamlgraph-1.8.8-19.22.ppc64.rpm | 24988 | 2021-Jan-24 22:12 |
| ocaml-ocamlgraph-devel-1.8.8-19.22.ppc64.rpm | 4963635 | 2021-Jan-24 22:12 |
| ocaml-ocplib-simplex-0.3-2.105.ppc64.rpm | 106555 | 2021-Feb-12 08:04 |
| ocaml-ocplib-simplex-devel-0.3-2.105.ppc64.rpm | 312372 | 2021-Feb-12 08:04 |
| ocaml-rpm-macros-20210209-51.1.ppc64.rpm | 17476 | 2021-Feb-09 09:53 |
| ocaml-zarith-1.7-1.60.ppc64.rpm | 92581 | 2021-Jan-11 07:18 |
| ocaml-zarith-devel-1.7-1.60.ppc64.rpm | 60441 | 2021-Jan-11 07:18 |
| ott-0.25-2.17.ppc64.rpm | 6976 | 2020-Jan-13 23:26 |
| ppl-1.2-13.7.ppc64.rpm | 81567 | 2021-Feb-05 14:48 |
| ppl-devel-1.2-13.7.ppc64.rpm | 429367 | 2021-Feb-05 14:48 |
| proverif-1.93-1.35.ppc64.rpm | 1286788 | 2020-Feb-26 17:05 |