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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.4pl3dfsg-1.dsc 23562014-Jan-20 08:18
coq_8.4pl4dfsg-3build2.dsc 23982015-Nov-04 22:14
coq_8.6-5build1.dsc 24032017-Oct-28 23:39
coq_9.2.0+dfsg-3.dsc 24792026-Jul-28 08:27
coq_8.11.0-1.dsc 24962020-Mar-06 16:53
coq_8.20.1+dfsg-1build1.dsc 25692025-Jun-19 20:23
coq_8.20.1+dfsg-1build4.dsc 25692026-Mar-01 22:53
coq_8.20.1+dfsg-1.dsc 25822025-Feb-18 10:39
coq_8.15.0+dfsg-2.dsc 25992022-Feb-06 02:49
coq_8.18.0+dfsg-1build2.dsc 26852024-Apr-01 03:36
coq_8.4pl3dfsg-1.debian.tar.xz 158002014-Jan-20 08:18
coq_8.4pl4dfsg-3build2.debian.tar.xz 161442015-Nov-04 22:14
coq_8.6-5build1.debian.tar.xz 218642017-Oct-28 23:39
coq_9.2.0+dfsg-3.debian.tar.xz 282802026-Jul-28 08:27
coq_8.20.1+dfsg-1.debian.tar.xz 302082025-Feb-18 10:39
coq_8.20.1+dfsg-1build1.debian.tar.xz 302722025-Jun-19 20:23
coq_8.20.1+dfsg-1build4.debian.tar.xz 303442026-Mar-01 22:53
coq_8.11.0-1.debian.tar.xz 316722020-Mar-06 16:53
coq_8.18.0+dfsg-1build2.debian.tar.xz 333362024-Apr-01 03:36
coq_8.15.0+dfsg-2.debian.tar.xz 396722022-Feb-06 02:49
coqide_8.4pl3dfsg-1_i386.deb 6775162014-Jan-20 08:58
coqide_8.4pl4dfsg-3build2_i386.deb 7116262015-Nov-04 22:39
coqide_8.4pl3dfsg-1_amd64.deb 7446122014-Jan-20 08:58
coqide_8.4pl4dfsg-3build2_amd64.deb 7489162015-Nov-04 23:04
libcoq-core_9.2.0+dfsg-3_arm64.deb 13241882026-Jul-28 09:31
libcoq-core_9.2.0+dfsg-3_amd64v3.deb 13242102026-Jul-28 09:31
libcoq-core_9.2.0+dfsg-3_amd64.deb 13242282026-Jul-28 09:31
coqide_8.6-5build1_i386.deb 13889202017-Oct-29 00:34
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb 13921442015-Nov-04 22:39
libcoq-ocaml_8.4pl3dfsg-1_i386.deb 14341442014-Jan-20 08:58
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb 15037662015-Nov-04 23:04
coqide_8.6-5build1_amd64.deb 15448282017-Oct-29 00:34
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb 15854582014-Jan-20 08:58
coqide_8.11.0-1_amd64.deb 17588242020-Mar-06 17:38
coqide_8.20.1+dfsg-1build1_amd64.deb 21981422025-Jun-20 08:39
coqide_8.20.1+dfsg-1build5_amd64.deb 21996022026-Jul-08 06:39
coqide_8.20.1+dfsg-1_amd64.deb 22080522025-Feb-18 10:40
coqide_8.20.1+dfsg-1build4_amd64v3.deb 22115282026-Mar-01 22:55
coqide_8.20.1+dfsg-1build4_amd64.deb 22121442026-Mar-01 22:54
coqide_8.20.1+dfsg-1build5_amd64v3.deb 22154802026-Jul-08 06:40
rocqide_9.2.0+dfsg-3_amd64v3.deb 22157622026-Jul-28 09:31
rocqide_9.2.0+dfsg-3_amd64.deb 22218502026-Jul-28 09:31
coqide_8.18.0+dfsg-1build2_amd64.deb 23495322024-Apr-01 04:32
coqide_8.15.0+dfsg-2_amd64.deb 23877862022-Feb-06 08:51
coqide_8.20.1+dfsg-1build1_arm64.deb 26409562025-Jun-20 08:39
coqide_8.20.1+dfsg-1build5_arm64.deb 26459542026-Jul-08 06:40
coqide_8.20.1+dfsg-1build4_arm64.deb 26489422026-Mar-01 22:55
rocqide_9.2.0+dfsg-3_arm64.deb 26675022026-Jul-28 09:31
libcoq-ocaml_8.6-5build1_i386.deb 33941442017-Oct-29 00:34
coq_8.4pl3dfsg.orig.tar.gz 35213382014-Jan-20 08:18
coq_8.4pl4dfsg.orig.tar.gz 35270762014-Jul-28 08:13
libcoq-ocaml_8.6-5build1_amd64.deb 35646122017-Oct-29 00:34
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb 36493602014-Jan-20 08:58
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb 36645282014-Jan-20 08:58
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb 36703622015-Nov-04 23:04
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb 37341442015-Nov-04 22:39
coq_8.4pl4dfsg-3build2_i386.deb 37460462015-Nov-04 22:39
coq_8.4pl3dfsg-1_i386.deb 37460982014-Jan-20 08:58
coq_9.2.0+dfsg.orig.tar.xz 39460882026-Jul-22 02:44
coq_8.4pl4dfsg-3build2_amd64.deb 39936982015-Nov-04 23:04
coq_8.4pl3dfsg-1_amd64.deb 40401562014-Jan-20 08:58
coq_8.15.0+dfsg.orig.tar.xz 46699482022-Jan-18 08:14
coq_8.18.0+dfsg.orig.tar.xz 48683682023-Dec-23 04:46
coq_8.6.orig.tar.gz 50086042016-Dec-29 02:13
coq_8.20.1+dfsg.orig.tar.xz 50149882025-Feb-18 10:39
coq_8.11.0.orig.tar.gz 58256202020-Mar-06 16:53
libcoq-ocaml_8.11.0-1_amd64.deb 63243042020-Mar-06 17:38
libcoq-ocaml-dev_8.6-5build1_i386.deb 137960202017-Oct-29 00:34
libcoq-ocaml-dev_8.6-5build1_amd64.deb 138151882017-Oct-29 00:34
libcoq-ocaml-dev_8.11.0-1_amd64.deb 160688922020-Mar-06 17:38
coq_8.6-5build1_i386.deb 169485482017-Oct-29 00:34
coq_8.6-5build1_amd64.deb 176738082017-Oct-29 00:34
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb 246951422022-Feb-06 08:51
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb 265119902024-Apr-01 04:32
libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb 267794062025-Jun-20 08:39
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb 268166542025-Feb-18 10:40
libcoq-stdlib_8.20.1+dfsg-1build4_arm64.deb 269195802026-Mar-01 22:55
libcoq-stdlib_8.20.1+dfsg-1build4_amd64.deb 269196302026-Mar-01 22:54
libcoq-stdlib_8.20.1+dfsg-1build4_amd64v3.deb 269204422026-Mar-01 22:55
libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb 269210842025-Jun-20 08:39
libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb 269218242025-Jun-20 08:39
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb 269724382025-Feb-18 10:40
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb 270704102022-Feb-06 08:51
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb 276873502024-Apr-01 04:32
libcoq-core-ocaml_8.20.1+dfsg-1build1_arm64.deb 279603182025-Jun-20 08:39
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64.deb 282755322026-Mar-01 22:54
libcoq-core-ocaml_8.20.1+dfsg-1build4_amd64v3.deb 282784622026-Mar-01 22:55
libcoq-core-ocaml_8.20.1+dfsg-1build4_arm64.deb 294445302026-Mar-01 22:55
libcoq-core-ocaml_9.2.0+dfsg-3_amd64.deb 301317662026-Jul-28 09:31
libcoq-core-ocaml_9.2.0+dfsg-3_amd64v3.deb 301330702026-Jul-28 09:31
libcoq-core-ocaml_9.2.0+dfsg-3_arm64.deb 313671882026-Jul-28 09:31
coq-theories_8.4pl3dfsg-1_all.deb 319702702014-Jan-20 08:58
coq-theories_8.6-5build1_i386.deb 321705522017-Oct-29 00:34
coq-theories_8.4pl4dfsg-3build2_all.deb 322360782015-Nov-04 23:04
coq-theories_8.11.0-1_amd64.deb 330799522020-Mar-06 17:38
coq-theories_8.6-5build1_amd64.deb 331815802017-Oct-29 00:34
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb 450354962022-Feb-06 08:51
coq_9.2.0+dfsg-3_amd64.deb 475068442026-Jul-28 09:31
coq_9.2.0+dfsg-3_amd64v3.deb 475323522026-Jul-28 09:31
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb 514079282024-Apr-01 04:32
coq_9.2.0+dfsg-3_arm64.deb 519974662026-Jul-28 09:31
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64.deb 598001342026-Mar-01 22:54
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_amd64v3.deb 598014822026-Mar-01 22:55
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_arm64.deb 604982782026-Mar-01 22:55
libcoq-core-ocaml-dev_9.2.0+dfsg-3_amd64.deb 640184162026-Jul-28 09:31
libcoq-core-ocaml-dev_9.2.0+dfsg-3_amd64v3.deb 640194302026-Jul-28 09:31
libcoq-core-ocaml-dev_9.2.0+dfsg-3_arm64.deb 647860662026-Jul-28 09:31
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64.deb 695935922025-Jun-20 08:39
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_arm64.deb 696144502025-Jun-20 08:39
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb 697016322025-Feb-18 10:40
coq_8.11.0-1_amd64.deb 765839202020-Mar-06 17:38
coq_8.20.1+dfsg-1build1_amd64.deb 816286762025-Jun-20 08:39
coq_8.20.1+dfsg-1_amd64.deb 819588342025-Feb-18 10:40
coq_8.20.1+dfsg-1build4_amd64v3.deb 824438762026-Mar-01 22:55
coq_8.20.1+dfsg-1build4_amd64.deb 824571582026-Mar-01 22:54
coq_8.20.1+dfsg-1build1_arm64.deb 869439622025-Jun-20 08:39
coq_8.20.1+dfsg-1build4_arm64.deb 877431862026-Mar-01 22:55
coq_8.15.0+dfsg-2_amd64.deb 953935522022-Feb-06 08:52
coq_8.18.0+dfsg-1build2_amd64.deb 959292422024-Apr-01 04:32