Index of /pub/opensuse/repositories/home:/lorenz:/formal/openSUSE_Tumbleweed/x86_64/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
alt-ergo-0.95.2-3.413.x86_64.rpm 28324682020-Feb-26 16:26
apron-0.9.11-15.95.x86_64.rpm 12121162019-Nov-14 02:20
apron-devel-0.9.11-15.95.x86_64.rpm 1438002019-Nov-14 02:20
coq-8.9.1-51.24.x86_64.rpm 573524082020-Feb-02 07:46
coq-devel-8.9.1-51.24.x86_64.rpm 667802020-Feb-02 07:46
coq-ide-8.9.1-51.24.x86_64.rpm 105071122020-Feb-02 07:46
cvc3-2.4.1-15.25.x86_64.rpm 245772020-Sep-01 22:17
cvc4-1.5-1.26.x86_64.rpm 43162442021-Apr-24 01:56
cvc4-devel-1.5-1.26.x86_64.rpm 1207822021-Apr-24 01:56
eprover-1.9-1.104.x86_64.rpm 13663392022-Oct-26 02:27
flocq-3.2.0-5.3.x86_64.rpm 41548442020-Feb-23 06:54
flocq-doc-3.2.0-5.3.x86_64.rpm 2751122020-Feb-23 06:54
flocq-source-3.2.0-5.3.x86_64.rpm 2599082020-Feb-23 06:54
frama-c-20171101-12.29.x86_64.rpm 265732482019-Oct-19 09:22
frama-c-devel-20171101-12.29.x86_64.rpm 98844642019-Oct-19 09:22
gappa-1.3.5-7.29.x86_64.rpm 4750792021-Apr-24 01:20
gappalib-coq-1.4.2-6.2.x86_64.rpm 5633442020-Feb-23 06:56
gappalib-coq-source-1.4.2-6.2.x86_64.rpm 442002020-Feb-23 06:56
hevea-2.29-5.258.x86_64.rpm 18982552022-Oct-26 02:26
libcvc3-5-2.4.1-15.25.x86_64.rpm 19778432020-Sep-01 22:17
libcvc3-devel-2.4.1-15.25.x86_64.rpm 1576092020-Sep-01 22:17
libppl14-1.2-14.35.x86_64.rpm 3825612022-Oct-23 05:26
libppl_c4-1.2-14.35.x86_64.rpm 9460552022-Oct-23 05:26
ltl2ba-1.1-6.82.x86_64.rpm 455122020-Apr-13 04:58
ocaml-apron-0.9.11-15.95.x86_64.rpm 3439722019-Nov-14 02:20
ocaml-apron-devel-0.9.11-15.95.x86_64.rpm 7452762019-Nov-14 02:20
ocaml-camlidl-1.05-25.53.x86_64.rpm 3431322019-Nov-07 15:32
ocaml-camlidl-devel-1.05-25.53.x86_64.rpm 2274242019-Nov-07 15:32
ocaml-camlp5-7.10-9.1.x86_64.rpm 10647522019-Nov-07 15:33
ocaml-camlp5-devel-7.10-9.1.x86_64.rpm 23979962019-Nov-07 15:33
ocaml-mlgmpidl-1.2.4-6.152.x86_64.rpm 2599722019-Nov-07 15:38
ocaml-mlgmpidl-devel-1.2.4-6.152.x86_64.rpm 1592042019-Nov-07 15:38
ocaml-ocplib-simplex-0.4-4.86.x86_64.rpm 887702022-Oct-23 05:21
ocaml-ocplib-simplex-devel-0.4-4.86.x86_64.rpm 3086682022-Oct-23 05:21
ppl-1.2-14.35.x86_64.rpm 759472022-Oct-23 05:26
ppl-devel-1.2-14.35.x86_64.rpm 4240192022-Oct-23 05:26
why3-0.87.3-6.43.x86_64.rpm 216281002020-Feb-23 06:58
z3-4.4.1-1.289.x86_64.rpm 54811842019-Nov-14 02:55
z3-devel-4.4.1-1.289.x86_64.rpm 1478071202019-Nov-14 02:55
z3-python-4.4.1-1.289.x86_64.rpm 56050802019-Nov-14 02:55
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