Index of /pub/ubuntu/pool/universe/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-theories_8.11.0-1_amd64.deb 330799522020-Mar-06 08:38
coq-theories_8.4pl3dfsg-1_all.deb 319702702014-Jan-19 23:58
coq-theories_8.4pl4dfsg-3build2_all.deb 322360782015-Nov-04 14:04
coq-theories_8.6-5build1_amd64.deb 331815802017-Oct-28 15:34
coq-theories_8.6-5build1_i386.deb 321705522017-Oct-28 15:34
coq_8.11.0-1.debian.tar.xz 316722020-Mar-06 07:53
coq_8.11.0-1.dsc 24962020-Mar-06 07:53
coq_8.11.0-1_amd64.deb 765839202020-Mar-06 08:38
coq_8.11.0.orig.tar.gz 58256202020-Mar-06 07:53
coq_8.15.0+dfsg-2.debian.tar.xz 396722022-Feb-05 17:49
coq_8.15.0+dfsg-2.dsc 25992022-Feb-05 17:49
coq_8.15.0+dfsg-2_amd64.deb 953935522022-Feb-05 23:52
coq_8.15.0+dfsg.orig.tar.xz 46699482022-Jan-17 23:14
coq_8.16.1+dfsg-1build2.debian.tar.xz 333162023-Feb-16 10:06
coq_8.16.1+dfsg-1build2.dsc 26282023-Feb-16 10:06
coq_8.16.1+dfsg-1build2_amd64.deb 1093922762023-Feb-16 10:58
coq_8.16.1+dfsg.orig.tar.xz 47176682022-Nov-29 17:24
coq_8.17.0+dfsg-1build1.debian.tar.xz 331522023-Jul-24 17:37
coq_8.17.0+dfsg-1build1.dsc 26282023-Jul-24 17:37
coq_8.17.0+dfsg-1build1_amd64.deb 930569782023-Jul-24 17:37
coq_8.17.0+dfsg.orig.tar.xz 47730322023-Jun-12 18:01
coq_8.18.0+dfsg-1build2.debian.tar.xz 333362024-Mar-31 18:36
coq_8.18.0+dfsg-1build2.dsc 26852024-Mar-31 18:36
coq_8.18.0+dfsg-1build2_amd64.deb 959292422024-Mar-31 19:32
coq_8.18.0+dfsg.orig.tar.xz 48683682023-Dec-22 19:46
coq_8.19.1+dfsg-3.debian.tar.xz 329042024-Aug-03 18:22
coq_8.19.1+dfsg-3.dsc 23412024-Aug-03 18:22
coq_8.19.1+dfsg-3_amd64.deb 956961602024-Aug-03 19:20
coq_8.19.1+dfsg-3build1.debian.tar.xz 329562024-Aug-09 13:49
coq_8.19.1+dfsg-3build1.dsc 25722024-Aug-09 13:49
coq_8.19.1+dfsg-3build1_amd64.deb 1008124522024-Aug-14 11:03
coq_8.19.1+dfsg-3build2.debian.tar.xz 330282024-Sep-06 15:36
coq_8.19.1+dfsg-3build2.dsc 25722024-Sep-06 15:36
coq_8.19.1+dfsg-3build2_amd64.deb 1008132162024-Sep-06 16:41
coq_8.19.1+dfsg.orig.tar.bz2 55894712024-May-02 11:53
coq_8.4pl3dfsg-1.debian.tar.xz 158002014-Jan-19 23:18
coq_8.4pl3dfsg-1.dsc 23562014-Jan-19 23:18
coq_8.4pl3dfsg-1_amd64.deb 40401562014-Jan-19 23:58
coq_8.4pl3dfsg-1_i386.deb 37460982014-Jan-19 23:58
coq_8.4pl3dfsg.orig.tar.gz 35213382014-Jan-19 23:18
coq_8.4pl4dfsg-3build2.debian.tar.xz 161442015-Nov-04 13:14
coq_8.4pl4dfsg-3build2.dsc 23982015-Nov-04 13:14
coq_8.4pl4dfsg-3build2_amd64.deb 39936982015-Nov-04 14:04
coq_8.4pl4dfsg-3build2_i386.deb 37460462015-Nov-04 13:39
coq_8.4pl4dfsg.orig.tar.gz 35270762014-Jul-27 23:13
coq_8.6-5build1.debian.tar.xz 218642017-Oct-28 14:39
coq_8.6-5build1.dsc 24032017-Oct-28 14:39
coq_8.6-5build1_amd64.deb 176738082017-Oct-28 15:34
coq_8.6-5build1_i386.deb 169485482017-Oct-28 15:34
coq_8.6.orig.tar.gz 50086042016-Dec-28 17:13
coqide_8.11.0-1_amd64.deb 17588242020-Mar-06 08:38
coqide_8.15.0+dfsg-2_amd64.deb 23877862022-Feb-05 23:51
coqide_8.16.1+dfsg-1build2_amd64.deb 23372782023-Feb-16 10:58
coqide_8.17.0+dfsg-1build1_amd64.deb 23318182023-Jul-24 17:37
coqide_8.18.0+dfsg-1build2_amd64.deb 23495322024-Mar-31 19:32
coqide_8.19.1+dfsg-3_amd64.deb 22880982024-Aug-03 19:20
coqide_8.19.1+dfsg-3build1_amd64.deb 24408242024-Aug-14 11:03
coqide_8.19.1+dfsg-3build2_amd64.deb 24408402024-Sep-06 16:41
coqide_8.4pl3dfsg-1_amd64.deb 7446122014-Jan-19 23:58
coqide_8.4pl3dfsg-1_i386.deb 6775162014-Jan-19 23:58
coqide_8.4pl4dfsg-3build2_amd64.deb 7489162015-Nov-04 14:04
coqide_8.4pl4dfsg-3build2_i386.deb 7116262015-Nov-04 13:39
coqide_8.6-5build1_amd64.deb 15448282017-Oct-28 15:34
coqide_8.6-5build1_i386.deb 13889202017-Oct-28 15:34
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb 450354962022-Feb-05 23:51
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64...> 495105182023-Feb-16 10:58
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64...> 499020062023-Jul-24 17:37
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64...> 514079282024-Mar-31 19:32
libcoq-core-ocaml-dev_8.19.1+dfsg-3_amd64.deb 519571002024-Aug-03 19:20
libcoq-core-ocaml-dev_8.19.1+dfsg-3build1_amd64...> 682234422024-Aug-14 11:03
libcoq-core-ocaml-dev_8.19.1+dfsg-3build2_amd64...> 682233422024-Sep-06 16:41
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb 270704102022-Feb-05 23:51
libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb 269112382023-Feb-16 10:58
libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb 272442122023-Jul-24 17:37
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb 276873502024-Mar-31 19:32
libcoq-core-ocaml_8.19.1+dfsg-3_amd64.deb 273234682024-Aug-03 19:20
libcoq-core-ocaml_8.19.1+dfsg-3build1_amd64.deb 259647222024-Aug-14 11:03
libcoq-core-ocaml_8.19.1+dfsg-3build2_amd64.deb 259642662024-Sep-06 16:41
libcoq-ocaml-dev_8.11.0-1_amd64.deb 160688922020-Mar-06 08:38
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb 36645282014-Jan-19 23:58
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb 36493602014-Jan-19 23:58
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb 36703622015-Nov-04 14:04
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb 37341442015-Nov-04 13:39
libcoq-ocaml-dev_8.6-5build1_amd64.deb 138151882017-Oct-28 15:34
libcoq-ocaml-dev_8.6-5build1_i386.deb 137960202017-Oct-28 15:34
libcoq-ocaml_8.11.0-1_amd64.deb 63243042020-Mar-06 08:38
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 15854582014-Jan-19 23:58
libcoq-ocaml_8.4pl3dfsg-1_i386.deb 14341442014-Jan-19 23:58
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb 15037662015-Nov-04 14:04
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb 13921442015-Nov-04 13:39
libcoq-ocaml_8.6-5build1_amd64.deb 35646122017-Oct-28 15:34
libcoq-ocaml_8.6-5build1_i386.deb 33941442017-Oct-28 15:34
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb 246951422022-Feb-05 23:51
libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb 245142762023-Feb-16 10:58
libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb 284385182023-Jul-24 17:37
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb 265119902024-Mar-31 19:32
libcoq-stdlib_8.19.1+dfsg-3_amd64.deb 270162282024-Aug-03 19:20
libcoq-stdlib_8.19.1+dfsg-3build1_amd64.deb 270166142024-Aug-14 11:03
libcoq-stdlib_8.19.1+dfsg-3build2_amd64.deb 270182182024-Sep-06 16:41
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