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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
alt-ergo-0.95.2-lp150.2.2.x86_64.rpm 30153642020-Feb-05 17:09
apron-0.9.11-lp150.14.2.x86_64.rpm 12762162020-Feb-05 18:41
apron-devel-0.9.11-lp150.14.2.x86_64.rpm 1433802020-Feb-05 18:41
bison-3.5.1-lp150.89.1.x86_64.rpm 6051202020-Feb-05 19:40
coq-8.10.2-lp150.43.6.x86_64.rpm 671426042020-Mar-29 21:38
coq-devel-8.10.2-lp150.43.6.x86_64.rpm 681482020-Mar-29 21:38
coq-ide-8.10.2-lp150.43.6.x86_64.rpm 116315922020-Mar-29 21:38
coq-mathcomp-1.10.0-lp150.1.4.x86_64.rpm 55596322020-Feb-15 04:28
cvc3-2.4.1-lp150.11.7.x86_64.rpm 246882020-Feb-11 07:38
cvc4-1.5-lp150.2.1.x86_64.rpm 44806882019-Nov-08 10:00
cvc4-devel-1.5-lp150.2.1.x86_64.rpm 1196282019-Nov-08 10:00
flocq-3.2.0-lp150.1.9.x86_64.rpm 42587282021-Jan-15 10:23
flocq-doc-3.2.0-lp150.1.9.x86_64.rpm 2747042021-Jan-15 10:23
flocq-source-3.2.0-lp150.1.9.x86_64.rpm 2595162021-Jan-15 10:23
frama-c-20171101-lp150.1.1.x86_64.rpm 266604042018-Jun-14 15:38
frama-c-devel-20171101-lp150.1.1.x86_64.rpm 98669322018-Jun-14 15:38
gappa-1.3.5-lp150.3.2.x86_64.rpm 4678002020-Feb-11 07:36
gappalib-coq-1.4.2-lp150.2.1.x86_64.rpm 5727842020-Feb-06 08:02
gappalib-coq-source-1.4.2-lp150.2.1.x86_64.rpm 438122020-Feb-06 08:02
hevea-2.34-lp150.10.1.x86_64.rpm 16865082020-Mar-29 21:26
libcvc3-5-2.4.1-lp150.11.7.x86_64.rpm 18400602020-Feb-11 07:38
libcvc3-devel-2.4.1-lp150.11.7.x86_64.rpm 1566842020-Feb-11 07:38
libppl14-1.2-lp150.11.1.x86_64.rpm 4057042020-Oct-24 07:17
libppl_c4-1.2-lp150.11.1.x86_64.rpm 9754802020-Oct-24 07:17
ltl2ba-1.1-lp150.5.1.x86_64.rpm 479682018-Jun-14 15:02
ocaml-apron-0.9.11-lp150.14.2.x86_64.rpm 3842362020-Feb-05 18:41
ocaml-apron-devel-0.9.11-lp150.14.2.x86_64.rpm 4833442020-Feb-05 18:41
ocaml-cairo-0.6.1-lp150.9.2.x86_64.rpm 106282020-Aug-21 19:38
ocaml-cairo-devel-0.6.1-lp150.9.2.x86_64.rpm 4597762020-Aug-21 19:38
ocaml-camlidl-1.05-lp150.24.2.x86_64.rpm 4032242020-May-14 10:34
ocaml-camlidl-devel-1.05-lp150.24.2.x86_64.rpm 2269602020-May-14 10:34
ocaml-camlp5-7.12-lp150.24.1.x86_64.rpm 12357202021-Jan-15 10:08
ocaml-camlp5-devel-7.12-lp150.24.1.x86_64.rpm 24381602021-Jan-15 10:08
ocaml-camlzip-1.10-lp150.4.1.x86_64.rpm 184482020-May-14 10:37
ocaml-camlzip-devel-1.10-lp150.4.1.x86_64.rpm 2785162020-May-14 10:37
ocaml-camlzip-test-1.10-lp150.4.1.x86_64.rpm 4622522020-May-14 10:37
ocaml-dune-1.11.4-lp150.50.1.x86_64.rpm 35986602020-Feb-05 15:10
ocaml-dune-devel-1.11.4-lp150.50.1.x86_64.rpm 22974962020-Feb-05 15:10
ocaml-lablgtk3-3.1.0-lp150.5.2.x86_64.rpm 4861322020-Feb-16 21:21
ocaml-lablgtk3-devel-3.1.0-lp150.5.2.x86_64.rpm 101329682020-Feb-16 21:21
ocaml-menhir-20170712-lp150.18.1.x86_64.rpm 12945522018-Jun-14 15:03
ocaml-menhir-devel-20170712-lp150.18.1.x86_64.rpm 561682018-Jun-14 15:03
ocaml-mlgmpidl-1.2.4-lp150.4.2.x86_64.rpm 2665322020-Feb-05 17:03
ocaml-mlgmpidl-devel-1.2.4-lp150.4.2.x86_64.rpm 1209642020-Feb-05 17:03
ocaml-ocamlgraph-1.8.8-lp150.19.2.x86_64.rpm 246722020-Aug-21 19:00
ocaml-ocamlgraph-devel-1.8.8-lp150.19.2.x86_64.rpm 34969122020-Aug-21 19:00
ocaml-ocplib-simplex-0.3-lp150.2.2.x86_64.rpm 881602020-May-14 10:38
ocaml-ocplib-simplex-devel-0.3-lp150.2.2.x86_64...> 2250762020-May-14 10:38
ocaml-rpm-macros-20210121-lp150.49.1.x86_64.rpm 173202021-Jan-28 09:25
ocaml-zarith-1.7-lp150.1.1.x86_64.rpm 739162018-Jun-14 15:03
ocaml-zarith-devel-1.7-lp150.1.1.x86_64.rpm 950082018-Jun-14 15:03
ott-0.25-lp150.2.1.x86_64.rpm 69922018-Jun-14 15:31
ppl-1.2-lp150.11.1.x86_64.rpm 768322020-Oct-24 07:17
ppl-devel-1.2-lp150.11.1.x86_64.rpm 4382402020-Oct-24 07:17
proverif-1.93-lp150.1.1.x86_64.rpm 12339362018-Jun-14 15:03
why3-0.87.3-lp150.1.2.x86_64.rpm 243188562020-Feb-05 22:38
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