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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
alt-ergo-0.95.2-lp151.2.2.x86_64.rpm 30173962020-Feb-05 17:09
apron-0.9.11-lp151.14.2.x86_64.rpm 12756722020-Feb-05 18:21
apron-devel-0.9.11-lp151.14.2.x86_64.rpm 1434162020-Feb-05 18:21
bison-3.5.1-lp151.89.1.x86_64.rpm 6020282020-Feb-05 19:21
coq-8.10.2-lp151.43.6.x86_64.rpm 670962562020-Mar-29 21:41
coq-devel-8.10.2-lp151.43.6.x86_64.rpm 660802020-Mar-29 21:41
coq-ide-8.10.2-lp151.43.6.x86_64.rpm 116369842020-Mar-29 21:41
coq-mathcomp-1.10.0-lp151.1.4.x86_64.rpm 55585682021-Apr-21 13:01
cvc3-2.4.1-lp151.11.3.x86_64.rpm 246322020-Feb-11 07:39
cvc4-1.5-lp151.2.1.x86_64.rpm 44807642019-Nov-08 09:52
cvc4-devel-1.5-lp151.2.1.x86_64.rpm 1196482019-Nov-08 09:52
flocq-3.2.0-lp151.1.10.x86_64.rpm 42561922021-Apr-21 13:07
flocq-doc-3.2.0-lp151.1.10.x86_64.rpm 2747682021-Apr-21 13:07
flocq-source-3.2.0-lp151.1.10.x86_64.rpm 2595242021-Apr-21 13:07
frama-c-20171101-lp151.1.1.x86_64.rpm 266703722019-Oct-02 15:57
frama-c-devel-20171101-lp151.1.1.x86_64.rpm 98718362019-Oct-02 15:57
gappa-1.3.5-lp151.3.2.x86_64.rpm 4704202020-Feb-11 07:36
gappalib-coq-1.4.2-lp151.2.1.x86_64.rpm 5722242020-Feb-06 08:02
gappalib-coq-source-1.4.2-lp151.2.1.x86_64.rpm 438122020-Feb-06 08:02
hevea-2.34-lp151.10.1.x86_64.rpm 16855962020-Mar-29 21:25
libcvc3-5-2.4.1-lp151.11.3.x86_64.rpm 18379282020-Feb-11 07:39
libcvc3-devel-2.4.1-lp151.11.3.x86_64.rpm 1566682020-Feb-11 07:39
libppl14-1.2-lp151.11.1.x86_64.rpm 4047482020-Oct-24 07:15
libppl_c4-1.2-lp151.11.1.x86_64.rpm 9773842020-Oct-24 07:15
ltl2ba-1.1-lp151.5.1.x86_64.rpm 479522019-Oct-02 15:22
ocaml-apron-0.9.11-lp151.14.2.x86_64.rpm 3842042020-Feb-05 18:21
ocaml-apron-devel-0.9.11-lp151.14.2.x86_64.rpm 4817562020-Feb-05 18:21
ocaml-cairo-0.6.1-lp151.9.2.x86_64.rpm 106282020-Aug-21 19:38
ocaml-cairo-devel-0.6.1-lp151.9.2.x86_64.rpm 4596162020-Aug-21 19:38
ocaml-camlidl-1.05-lp151.24.2.x86_64.rpm 4039922020-May-14 10:38
ocaml-camlidl-devel-1.05-lp151.24.2.x86_64.rpm 2268922020-May-14 10:38
ocaml-camlp5-8.00-lp151.28.1.x86_64.rpm 2260722021-Apr-21 12:56
ocaml-camlp5-devel-8.00-lp151.28.1.x86_64.rpm 11255682021-Apr-21 12:56
ocaml-camlzip-1.10-lp151.4.1.x86_64.rpm 183242020-May-14 10:42
ocaml-camlzip-devel-1.10-lp151.4.1.x86_64.rpm 2781042020-May-14 10:42
ocaml-camlzip-test-1.10-lp151.4.1.x86_64.rpm 4625202020-May-14 10:42
ocaml-dune-1.11.4-lp151.50.1.x86_64.rpm 36045162020-Feb-05 15:07
ocaml-dune-devel-1.11.4-lp151.50.1.x86_64.rpm 22964402020-Feb-05 15:07
ocaml-lablgtk3-3.1.0-lp151.5.2.x86_64.rpm 4873362020-Feb-16 21:20
ocaml-lablgtk3-devel-3.1.0-lp151.5.2.x86_64.rpm 101272922020-Feb-16 21:20
ocaml-menhir-20170712-lp151.18.1.x86_64.rpm 12951082019-Oct-02 15:23
ocaml-menhir-devel-20170712-lp151.18.1.x86_64.rpm 561402019-Oct-02 15:23
ocaml-mlgmpidl-1.2.4-lp151.4.2.x86_64.rpm 2668362020-Feb-05 17:03
ocaml-mlgmpidl-devel-1.2.4-lp151.4.2.x86_64.rpm 1206082020-Feb-05 17:03
ocaml-ocamlgraph-1.8.8-lp151.19.2.x86_64.rpm 246762020-Aug-21 18:25
ocaml-ocamlgraph-devel-1.8.8-lp151.19.2.x86_64.rpm 34961482020-Aug-21 18:25
ocaml-ocplib-simplex-0.3-lp151.2.3.x86_64.rpm 872202021-Oct-27 08:22
ocaml-ocplib-simplex-devel-0.3-lp151.2.3.x86_64...> 2251162021-Oct-27 08:22
ocaml-rpm-macros-20220707-lp151.72.1.x86_64.rpm 187482022-Jul-08 08:41
ocaml-zarith-1.7-lp151.1.1.x86_64.rpm 736442019-Oct-02 15:27
ocaml-zarith-devel-1.7-lp151.1.1.x86_64.rpm 949322019-Oct-02 15:27
ott-0.25-lp151.2.1.x86_64.rpm 69882019-Oct-02 15:43
ppl-1.2-lp151.11.1.x86_64.rpm 756802020-Oct-24 07:15
ppl-devel-1.2-lp151.11.1.x86_64.rpm 4372402020-Oct-24 07:15
proverif-1.93-lp151.1.1.x86_64.rpm 12337402019-Oct-02 15:26
why3-0.87.3-lp151.1.2.x86_64.rpm 243264522020-Feb-05 22:21
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