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

../
alt-ergo-0.95.2-lp153.2.22.x86_64.rpm              29-Jan-2022 04:29             3184268
apron-0.9.11-lp153.14.3.x86_64.rpm                 11-Jul-2021 19:43             1274040
apron-devel-0.9.11-lp153.14.3.x86_64.rpm           11-Jul-2021 19:43              143424
cvc3-2.4.1-lp153.11.4.x86_64.rpm                   08-Mar-2021 08:36               24604
cvc4-1.5-lp153.2.2.x86_64.rpm                      28-Feb-2021 13:09             4478020
cvc4-devel-1.5-lp153.2.2.x86_64.rpm                28-Feb-2021 13:09              119624
gappa-1.3.5-lp153.3.6.x86_64.rpm                   11-May-2021 04:59              471028
libcvc3-5-2.4.1-lp153.11.4.x86_64.rpm              08-Mar-2021 08:36             1838628
libcvc3-devel-2.4.1-lp153.11.4.x86_64.rpm          08-Mar-2021 08:36              156644
libppl14-1.2-lp153.13.2.x86_64.rpm                 28-Feb-2021 13:04              405196
libppl_c4-1.2-lp153.13.2.x86_64.rpm                28-Feb-2021 13:04              977976
ltl2ba-1.1-lp153.5.5.x86_64.rpm                    08-Mar-2021 08:34               47968
ocaml-apron-0.9.11-lp153.14.3.x86_64.rpm           11-Jul-2021 19:43              378408
ocaml-apron-devel-0.9.11-lp153.14.3.x86_64.rpm     11-Jul-2021 19:43              478092
ocaml-camlidl-1.05-lp153.24.5.x86_64.rpm           08-Mar-2021 08:52              402712
ocaml-camlidl-devel-1.05-lp153.24.5.x86_64.rpm     08-Mar-2021 08:52              225992
ocaml-camlp5-8.00.02-lp153.35.1.x86_64.rpm         04-Apr-2022 15:13             1427584
ocaml-camlp5-devel-8.00.02-lp153.35.1.x86_64.rpm   04-Apr-2022 15:13             2899076
ocaml-mlgmpidl-1.2.4-lp153.4.33.x86_64.rpm         08-Jul-2022 09:08              264924
ocaml-mlgmpidl-devel-1.2.4-lp153.4.33.x86_64.rpm   08-Jul-2022 09:08              122316
ocaml-ocplib-simplex-0.3-lp153.2.6.x86_64.rpm      27-Oct-2021 08:21               87248
ocaml-ocplib-simplex-devel-0.3-lp153.2.6.x86_64..> 27-Oct-2021 08:21              225132
ocaml-rpm-macros-20220707-lp153.72.1.x86_64.rpm    08-Jul-2022 08:41               18748
ocaml-zarith-1.7-lp153.1.4.x86_64.rpm              08-Mar-2021 08:34               72668
ocaml-zarith-devel-1.7-lp153.1.4.x86_64.rpm        08-Mar-2021 08:34               47488
ppl-1.2-lp153.13.2.x86_64.rpm                      28-Feb-2021 13:04               75640
ppl-devel-1.2-lp153.13.2.x86_64.rpm                28-Feb-2021 13:04              437060
proverif-1.93-lp153.1.5.x86_64.rpm                 08-Mar-2021 08:35             1233912