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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
alt-ergo-0.95.2-lp152.2.1.x86_64.rpm 31875002021-Feb-13 16:47
apron-0.9.11-lp152.14.9.x86_64.rpm 12733362022-Jul-08 09:29
apron-devel-0.9.11-lp152.14.9.x86_64.rpm 1434082022-Jul-08 09:29
cvc3-2.4.1-lp152.11.1.x86_64.rpm 246442021-Feb-13 16:37
cvc4-1.5-lp152.2.1.x86_64.rpm 44781482021-Feb-13 16:45
cvc4-devel-1.5-lp152.2.1.x86_64.rpm 1196202021-Feb-13 16:45
gappa-1.3.5-lp152.3.1.x86_64.rpm 4704802021-Feb-13 16:36
libcvc3-5-2.4.1-lp152.11.1.x86_64.rpm 18379242021-Feb-13 16:37
libcvc3-devel-2.4.1-lp152.11.1.x86_64.rpm 1566802021-Feb-13 16:37
libppl14-1.2-lp152.13.1.x86_64.rpm 4053642021-Feb-13 16:39
libppl_c4-1.2-lp152.13.1.x86_64.rpm 9762362021-Feb-13 16:39
ltl2ba-1.1-lp152.5.1.x86_64.rpm 479562021-Feb-13 16:36
ocaml-apron-0.9.11-lp152.14.9.x86_64.rpm 3786402022-Jul-08 09:29
ocaml-apron-devel-0.9.11-lp152.14.9.x86_64.rpm 4821762022-Jul-08 09:29
ocaml-camlidl-1.05-lp152.24.1.x86_64.rpm 4022562021-Feb-13 16:46
ocaml-camlidl-devel-1.05-lp152.24.1.x86_64.rpm 2260522021-Feb-13 16:46
ocaml-camlp5-8.00.02-lp152.34.1.x86_64.rpm 14275162022-Mar-17 22:32
ocaml-camlp5-devel-8.00.02-lp152.34.1.x86_64.rpm 28983442022-Mar-17 22:32
ocaml-mlgmpidl-1.2.4-lp152.4.12.x86_64.rpm 2649322022-Jul-08 09:07
ocaml-mlgmpidl-devel-1.2.4-lp152.4.12.x86_64.rpm 1225922022-Jul-08 09:07
ocaml-ocplib-simplex-0.3-lp152.2.2.x86_64.rpm 871962021-Oct-27 08:21
ocaml-ocplib-simplex-devel-0.3-lp152.2.2.x86_64...> 2250602021-Oct-27 08:21
ocaml-rpm-macros-20220707-lp152.72.1.x86_64.rpm 187482022-Jul-08 08:41
ocaml-zarith-1.7-lp152.1.1.x86_64.rpm 727922021-Feb-13 16:36
ocaml-zarith-devel-1.7-lp152.1.1.x86_64.rpm 475282021-Feb-13 16:36
ppl-1.2-lp152.13.1.x86_64.rpm 756722021-Feb-13 16:39
ppl-devel-1.2-lp152.13.1.x86_64.rpm 4371722021-Feb-13 16:39
proverif-1.93-lp152.1.1.x86_64.rpm 12347562021-Feb-13 16:37
This server can also be reached on the Tor network at
lysator7eknrfl47rlyxvgeamrv7ucefgrrlhk7rouv3sna25asetwid.onion
Information:
Data handling policy
The mirror administration can be reached at ftp-master (at) lysator.liu.se