Index of /pub/opensuse/repositories/home:/ptrommler:/formal/openSUSE_Leap_15.2/x86_64/

../
alt-ergo-0.95.2-lp152.2.1.x86_64.rpm               13-Feb-2021 16:47             3187500
apron-0.9.11-lp152.14.9.x86_64.rpm                 08-Jul-2022 09:29             1273336
apron-devel-0.9.11-lp152.14.9.x86_64.rpm           08-Jul-2022 09:29              143408
cvc3-2.4.1-lp152.11.1.x86_64.rpm                   13-Feb-2021 16:37               24644
cvc4-1.5-lp152.2.1.x86_64.rpm                      13-Feb-2021 16:45             4478148
cvc4-devel-1.5-lp152.2.1.x86_64.rpm                13-Feb-2021 16:45              119620
gappa-1.3.5-lp152.3.1.x86_64.rpm                   13-Feb-2021 16:36              470480
libcvc3-5-2.4.1-lp152.11.1.x86_64.rpm              13-Feb-2021 16:37             1837924
libcvc3-devel-2.4.1-lp152.11.1.x86_64.rpm          13-Feb-2021 16:37              156680
libppl14-1.2-lp152.13.1.x86_64.rpm                 13-Feb-2021 16:39              405364
libppl_c4-1.2-lp152.13.1.x86_64.rpm                13-Feb-2021 16:39              976236
ltl2ba-1.1-lp152.5.1.x86_64.rpm                    13-Feb-2021 16:36               47956
ocaml-apron-0.9.11-lp152.14.9.x86_64.rpm           08-Jul-2022 09:29              378640
ocaml-apron-devel-0.9.11-lp152.14.9.x86_64.rpm     08-Jul-2022 09:29              482176
ocaml-camlidl-1.05-lp152.24.1.x86_64.rpm           13-Feb-2021 16:46              402256
ocaml-camlidl-devel-1.05-lp152.24.1.x86_64.rpm     13-Feb-2021 16:46              226052
ocaml-camlp5-8.00.02-lp152.34.1.x86_64.rpm         17-Mar-2022 22:32             1427516
ocaml-camlp5-devel-8.00.02-lp152.34.1.x86_64.rpm   17-Mar-2022 22:32             2898344
ocaml-mlgmpidl-1.2.4-lp152.4.12.x86_64.rpm         08-Jul-2022 09:07              264932
ocaml-mlgmpidl-devel-1.2.4-lp152.4.12.x86_64.rpm   08-Jul-2022 09:07              122592
ocaml-ocplib-simplex-0.3-lp152.2.2.x86_64.rpm      27-Oct-2021 08:21               87196
ocaml-ocplib-simplex-devel-0.3-lp152.2.2.x86_64..> 27-Oct-2021 08:21              225060
ocaml-rpm-macros-20220707-lp152.72.1.x86_64.rpm    08-Jul-2022 08:41               18748
ocaml-zarith-1.7-lp152.1.1.x86_64.rpm              13-Feb-2021 16:36               72792
ocaml-zarith-devel-1.7-lp152.1.1.x86_64.rpm        13-Feb-2021 16:36               47528
ppl-1.2-lp152.13.1.x86_64.rpm                      13-Feb-2021 16:39               75672
ppl-devel-1.2-lp152.13.1.x86_64.rpm                13-Feb-2021 16:39              437172
proverif-1.93-lp152.1.1.x86_64.rpm                 13-Feb-2021 16:37             1234756