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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
alt-ergo-0.95.2-lp151.3.19.x86_64.rpm 28340082020-Feb-26 10:31
alt-ergo-debuginfo-0.95.2-lp151.3.19.x86_64.rpm 3040362020-Feb-26 10:31
apron-0.9.11-lp151.15.9.x86_64.rpm 12120922020-Feb-26 12:35
apron-debuginfo-0.9.11-lp151.15.9.x86_64.rpm 64584642020-Feb-26 12:35
apron-debugsource-0.9.11-lp151.15.9.x86_64.rpm 3410842020-Feb-26 12:35
apron-devel-0.9.11-lp151.15.9.x86_64.rpm 1438362020-Feb-26 12:35
coq-8.9.1-lp151.51.16.x86_64.rpm 574266202020-Feb-02 07:42
coq-debuginfo-8.9.1-lp151.51.16.x86_64.rpm 42560682020-Feb-02 07:42
coq-debugsource-8.9.1-lp151.51.16.x86_64.rpm 17024682020-Feb-02 07:42
coq-devel-8.9.1-lp151.51.16.x86_64.rpm 647482020-Feb-02 07:42
coq-ide-8.9.1-lp151.51.16.x86_64.rpm 105001962020-Feb-02 07:42
coq-ide-debuginfo-8.9.1-lp151.51.16.x86_64.rpm 16162082020-Feb-02 07:42
cvc3-2.4.1-lp151.15.3.x86_64.rpm 236202020-Nov-01 07:49
cvc3-debuginfo-2.4.1-lp151.15.3.x86_64.rpm 1773082020-Nov-01 07:49
cvc3-debugsource-2.4.1-lp151.15.3.x86_64.rpm 6992602020-Nov-01 07:49
cvc4-1.5-lp151.1.5.x86_64.rpm 41390522020-Nov-01 07:59
cvc4-debuginfo-1.5-lp151.1.5.x86_64.rpm 516936562020-Nov-01 07:59
cvc4-debugsource-1.5-lp151.1.5.x86_64.rpm 18518362020-Nov-01 07:59
cvc4-devel-1.5-lp151.1.5.x86_64.rpm 1200682020-Nov-01 07:59
eprover-1.9-lp151.1.4.x86_64.rpm 13379562020-Nov-01 07:45
eprover-debuginfo-1.9-lp151.1.4.x86_64.rpm 20035962020-Nov-01 07:45
eprover-debugsource-1.9-lp151.1.4.x86_64.rpm 5425562020-Nov-01 07:45
flocq-3.2.0-lp151.5.3.x86_64.rpm 41575282020-Feb-26 10:26
flocq-doc-3.2.0-lp151.5.3.x86_64.rpm 2751962020-Feb-26 10:26
flocq-source-3.2.0-lp151.5.3.x86_64.rpm 2599442020-Feb-26 10:26
gappa-1.3.5-lp151.7.4.x86_64.rpm 4434642020-Nov-01 07:46
gappa-debuginfo-1.3.5-lp151.7.4.x86_64.rpm 19528562020-Nov-01 07:46
gappa-debugsource-1.3.5-lp151.7.4.x86_64.rpm 1049762020-Nov-01 07:46
gappalib-coq-1.4.2-lp151.6.2.x86_64.rpm 5632282020-Feb-23 07:01
gappalib-coq-source-1.4.2-lp151.6.2.x86_64.rpm 442442020-Feb-23 07:01
hevea-2.29-lp151.5.43.x86_64.rpm 16550042021-Feb-28 06:17
hevea-debuginfo-2.29-lp151.5.43.x86_64.rpm 6294762021-Feb-28 06:17
libcvc3-5-2.4.1-lp151.15.3.x86_64.rpm 17763562020-Nov-01 07:49
libcvc3-5-debuginfo-2.4.1-lp151.15.3.x86_64.rpm 121903842020-Nov-01 07:49
libcvc3-devel-2.4.1-lp151.15.3.x86_64.rpm 1570842020-Nov-01 07:49
libppl14-1.2-lp151.14.1.x86_64.rpm 3858642020-Nov-01 07:49
libppl14-debuginfo-1.2-lp151.14.1.x86_64.rpm 28433042020-Nov-01 07:49
libppl_c4-1.2-lp151.14.1.x86_64.rpm 9384802020-Nov-01 07:49
libppl_c4-debuginfo-1.2-lp151.14.1.x86_64.rpm 58647442020-Nov-01 07:49
ltl2ba-1.1-lp151.6.5.x86_64.rpm 484042020-Nov-01 07:44
ocaml-apron-0.9.11-lp151.15.9.x86_64.rpm 3497242020-Feb-26 12:35
ocaml-apron-debuginfo-0.9.11-lp151.15.9.x86_64.rpm 2645682020-Feb-26 12:35
ocaml-apron-devel-0.9.11-lp151.15.9.x86_64.rpm 6726122020-Feb-26 12:35
ocaml-camlidl-1.05-lp151.25.2.x86_64.rpm 3428922019-Nov-07 15:33
ocaml-camlidl-debuginfo-1.05-lp151.25.2.x86_64.rpm 2444122019-Nov-07 15:33
ocaml-camlidl-debugsource-1.05-lp151.25.2.x86_64..> 582042019-Nov-07 15:33
ocaml-camlidl-devel-1.05-lp151.25.2.x86_64.rpm 2261322019-Nov-07 15:33
ocaml-camlp5-7.10-lp151.9.1.x86_64.rpm 10760322019-Nov-07 15:33
ocaml-camlp5-debuginfo-7.10-lp151.9.1.x86_64.rpm 3710562019-Nov-07 15:33
ocaml-camlp5-devel-7.10-lp151.9.1.x86_64.rpm 23922602019-Nov-07 15:33
ocaml-mlgmpidl-1.2.4-lp151.6.2.x86_64.rpm 2601602019-Nov-07 15:37
ocaml-mlgmpidl-debuginfo-1.2.4-lp151.6.2.x86_64...> 395562019-Nov-07 15:37
ocaml-mlgmpidl-debugsource-1.2.4-lp151.6.2.x86_6..> 197922019-Nov-07 15:37
ocaml-mlgmpidl-devel-1.2.4-lp151.6.2.x86_64.rpm 1571242019-Nov-07 15:37
ocaml-mlgmpidl-devel-debuginfo-1.2.4-lp151.6.2.x..> 435402019-Nov-07 15:37
ocaml-ocplib-simplex-0.4-lp151.4.24.x86_64.rpm 799602021-Feb-28 06:17
ocaml-ocplib-simplex-debuginfo-0.4-lp151.4.24.x8..> 244322021-Feb-28 06:17
ocaml-ocplib-simplex-debugsource-0.4-lp151.4.24...> 196002021-Feb-28 06:17
ocaml-ocplib-simplex-devel-0.4-lp151.4.24.x86_64..> 2551922021-Feb-28 06:17
ppl-1.2-lp151.14.1.x86_64.rpm 739242020-Nov-01 07:49
ppl-debuginfo-1.2-lp151.14.1.x86_64.rpm 2433082020-Nov-01 07:49
ppl-debugsource-1.2-lp151.14.1.x86_64.rpm 6478282020-Nov-01 07:49
ppl-devel-1.2-lp151.14.1.x86_64.rpm 4359602020-Nov-01 07:49
ppl-devel-debuginfo-1.2-lp151.14.1.x86_64.rpm 380962020-Nov-01 07:49
why3-0.87.3-lp151.6.4.x86_64.rpm 216292882020-Feb-26 12:47
why3-debuginfo-0.87.3-lp151.6.4.x86_64.rpm 26726082020-Feb-26 12:47
why3-debugsource-0.87.3-lp151.6.4.x86_64.rpm 4767482020-Feb-26 12:47
z3-4.4.1-lp151.1.6.x86_64.rpm 53639202019-Dec-06 12:28
z3-debuginfo-4.4.1-lp151.1.6.x86_64.rpm 392159522019-Dec-06 12:28
z3-debugsource-4.4.1-lp151.1.6.x86_64.rpm 22108882019-Dec-06 12:28
z3-devel-4.4.1-lp151.1.6.x86_64.rpm 1219078362019-Dec-06 12:28
z3-python-4.4.1-lp151.1.6.x86_64.rpm 54915322019-Dec-06 12:28
z3-python-debuginfo-4.4.1-lp151.1.6.x86_64.rpm 389639762019-Dec-06 12:28
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