Index of /pub/opensuse/repositories/home:/ptrommler:/formal/openSUSE_Factory/x86_64/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
alt-ergo-0.95.2-2.688.x86_64.rpm 31917882019-Nov-18 16:17
apron-0.9.11-14.277.x86_64.rpm 12765322019-Nov-13 00:46
apron-devel-0.9.11-14.277.x86_64.rpm 1434082019-Nov-13 00:46
bison-3.0.4-61.7.x86_64.rpm 5051102017-Oct-12 05:03
bison-32bit-3.0.4-61.7.x86_64.rpm 125812017-Oct-12 05:30
coq-8.10.2-43.14.x86_64.rpm 669269442020-Mar-02 20:57
coq-devel-8.10.2-43.14.x86_64.rpm 680962020-Mar-02 20:57
coq-ide-8.10.2-43.14.x86_64.rpm 116240522020-Mar-02 20:57
coq-mathcomp-1.10.0-1.17.x86_64.rpm 55611202020-Mar-02 21:22
cvc3-2.4.1-11.80.x86_64.rpm 260812020-Aug-29 23:01
cvc4-1.5-2.29.x86_64.rpm 46546682021-Apr-22 09:14
cvc4-devel-1.5-2.29.x86_64.rpm 1202882021-Apr-22 09:14
flocq-3.2.0-1.19.x86_64.rpm 42589322020-Mar-02 22:04
flocq-doc-3.2.0-1.19.x86_64.rpm 2746682020-Mar-02 22:04
flocq-source-3.2.0-1.19.x86_64.rpm 2594802020-Mar-02 22:04
frama-c-20171101-1.41.x86_64.rpm 265743522019-Oct-22 02:49
frama-c-devel-20171101-1.41.x86_64.rpm 98766122019-Oct-22 02:49
gappa-1.3.5-3.21.x86_64.rpm 5045612021-Apr-22 09:01
gappalib-coq-1.4.2-2.10.x86_64.rpm 5722722020-Mar-02 22:25
gappalib-coq-source-1.4.2-2.10.x86_64.rpm 437842020-Mar-02 22:25
hevea-2.29-5.219.x86_64.rpm 16165402019-Nov-01 20:46
libcvc3-5-2.4.1-11.80.x86_64.rpm 20830642020-Aug-29 23:01
libcvc3-devel-2.4.1-11.80.x86_64.rpm 1571872020-Aug-29 23:01
libppl14-1.2-13.58.x86_64.rpm 4078262022-Oct-14 02:24
libppl_c4-1.2-13.58.x86_64.rpm 9781302022-Oct-14 02:24
ltl2ba-1.1-5.92.x86_64.rpm 450522020-Apr-12 15:54
ocaml-apron-0.9.11-14.277.x86_64.rpm 3773082019-Nov-13 00:46
ocaml-apron-devel-0.9.11-14.277.x86_64.rpm 5250002019-Nov-13 00:46
ocaml-cairo-0.6.3-15.13.x86_64.rpm 1475182022-Oct-14 03:17
ocaml-cairo-devel-0.6.3-15.13.x86_64.rpm 4592152022-Oct-14 03:17
ocaml-camlidl-1.05-24.140.x86_64.rpm 5952782022-Oct-14 02:36
ocaml-camlidl-devel-1.05-24.140.x86_64.rpm 2308822022-Oct-14 02:36
ocaml-camlp5-8.00.03-37.14.x86_64.rpm 18695582022-Oct-14 02:37
ocaml-camlp5-devel-8.00.03-37.14.x86_64.rpm 41551662022-Oct-14 02:37
ocaml-camlzip-1.11-10.39.x86_64.rpm 637532022-Oct-14 03:16
ocaml-camlzip-devel-1.11-10.39.x86_64.rpm 2716882022-Oct-14 03:16
ocaml-dune-3.4.1-93.6.x86_64.rpm 39176822022-Oct-14 02:36
ocaml-dune-devel-3.4.1-93.8.x86_64.rpm 68069282022-Oct-16 13:39
ocaml-lablgtk3-3.1.2-14.22.x86_64.rpm 20531752022-Oct-14 03:36
ocaml-lablgtk3-devel-3.1.2-14.22.x86_64.rpm 139324882022-Oct-14 03:36
ocaml-menhir-20141215-1.16.x86_64.rpm 10247342016-Jun-23 03:42
ocaml-menhir-devel-20141215-1.16.x86_64.rpm 3617502016-Jun-23 03:42
ocaml-mlgmpidl-1.2.4-4.307.x86_64.rpm 2651282020-Mar-02 20:24
ocaml-mlgmpidl-devel-1.2.4-4.307.x86_64.rpm 1248482020-Mar-02 20:24
ocaml-ocamlgraph-2.0.0-23.20.x86_64.rpm 5083202022-Oct-14 02:56
ocaml-ocamlgraph-devel-2.0.0-23.20.x86_64.rpm 57332932022-Oct-14 02:56
ocaml-ocplib-simplex-0.3-2.160.x86_64.rpm 926362022-Oct-21 22:53
ocaml-ocplib-simplex-devel-0.3-2.160.x86_64.rpm 3041452022-Oct-21 22:53
ocaml-rpm-macros-20220707-73.4.x86_64.rpm 187852022-Oct-14 02:22
ocaml-zarith-1.7-1.110.x86_64.rpm 840632022-Oct-14 02:22
ocaml-zarith-devel-1.7-1.110.x86_64.rpm 325032022-Oct-14 02:22
ott-0.25-2.20.x86_64.rpm 69642020-Jan-12 09:12
ppl-1.2-13.58.x86_64.rpm 777352022-Oct-14 02:24
ppl-devel-1.2-13.58.x86_64.rpm 4247132022-Oct-14 02:24
proverif-1.93-1.64.x86_64.rpm 12337602020-Feb-27 21:09
why-2.35-1.117.x86_64.rpm 13117192016-Jul-05 09:54
why-coq-2.35-1.117.x86_64.rpm 463252016-Jul-05 09:54
why-jessie-2.35-1.117.x86_64.rpm 31936512016-Jul-05 09:54
why3-0.87.3-1.120.x86_64.rpm 242888442020-Feb-27 22:45
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