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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.4pl3dfsg-1.debian.tar.xz 158002014-Jan-20 08:18
coq_8.4pl3dfsg.orig.tar.gz 35213382014-Jan-20 08:18
coq_8.4pl3dfsg-1.dsc 23562014-Jan-20 08:18
coq-theories_8.4pl3dfsg-1_all.deb 319702702014-Jan-20 08:58
libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb 35765082014-Jan-20 09:23
coq_8.4pl3dfsg-1_powerpc.deb 35854382014-Jan-20 09:23
libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb 13746182014-Jan-20 09:23
coqide_8.4pl3dfsg-1_powerpc.deb 6422222014-Jan-20 09:23
libcoq-ocaml_8.4pl3dfsg-1_armhf.deb 15276722014-Jan-20 10:03
libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb 40285742014-Jan-20 10:03
coqide_8.4pl3dfsg-1_armhf.deb 7757562014-Jan-20 10:03
coq_8.4pl3dfsg-1_armhf.deb 38942622014-Jan-20 10:03
libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb 12469442014-Jan-20 12:43
libcoq-ocaml_8.4pl3dfsg-1_arm64.deb 3301962014-Jan-20 12:43
coq_8.4pl3dfsg-1_arm64.deb 11089922014-Jan-20 12:43
coqide_8.4pl3dfsg-1_arm64.deb 2030962014-Jan-20 12:43
coq_8.4pl3dfsg-1_ppc64el.deb 11071662014-Feb-18 11:43
coqide_8.4pl3dfsg-1_ppc64el.deb 2030162014-Feb-18 11:43
libcoq-ocaml-dev_8.4pl3dfsg-1_ppc64el.deb 12469662014-Feb-18 11:43
libcoq-ocaml_8.4pl3dfsg-1_ppc64el.deb 3294422014-Feb-18 11:43
coq_8.4pl4dfsg.orig.tar.gz 35270762014-Jul-28 08:13
coq_8.4pl4dfsg-3build2.debian.tar.xz 161442015-Nov-04 22:14
coq_8.4pl4dfsg-3build2.dsc 23982015-Nov-04 22:14
coqide_8.4pl4dfsg-3build2_powerpc.deb 6643262015-Nov-04 22:39
coq_8.4pl4dfsg-3build2_powerpc.deb 34211142015-Nov-04 22:39
libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb 13253962015-Nov-04 22:39
libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb 36967302015-Nov-04 22:39
coq-theories_8.4pl4dfsg-3build2_all.deb 322360782015-Nov-04 23:04
libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb 14047042015-Nov-04 23:29
coqide_8.4pl4dfsg-3build2_arm64.deb 7719682015-Nov-04 23:29
coq_8.4pl4dfsg-3build2_arm64.deb 38971822015-Nov-04 23:29
libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb 39115762015-Nov-04 23:29
libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb 41614802015-Nov-04 23:55
coq_8.4pl4dfsg-3build2_armhf.deb 38088082015-Nov-04 23:55
coqide_8.4pl4dfsg-3build2_armhf.deb 7808542015-Nov-04 23:55
libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb 14685222015-Nov-04 23:55
libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb 3355902015-Nov-04 23:55
coq_8.4pl4dfsg-3build2_ppc64el.deb 10403902015-Nov-04 23:55
coqide_8.4pl4dfsg-3build2_ppc64el.deb 2127842015-Nov-04 23:55
libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb 12431602015-Nov-04 23:55
libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb 3378402016-Jan-06 01:35
libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb 12436662016-Jan-06 01:35
coqide_8.4pl4dfsg-3build2_s390x.deb 2128322016-Jan-06 01:35
coq_8.4pl4dfsg-3build2_s390x.deb 10416042016-Jan-06 01:35
coq_8.6.orig.tar.gz 50086042016-Dec-29 02:13
coq_8.6-5build1.debian.tar.xz 218642017-Oct-28 23:39
coq_8.6-5build1.dsc 24032017-Oct-28 23:39
libcoq-ocaml-dev_8.6-5build1_ppc64el.deb 140888002017-Oct-29 00:34
coq_8.6-5build1_ppc64el.deb 182042482017-Oct-29 00:34
libcoq-ocaml_8.6-5build1_ppc64el.deb 36631962017-Oct-29 00:34
coq-theories_8.6-5build1_ppc64el.deb 227979962017-Oct-29 00:34
coqide_8.6-5build1_ppc64el.deb 17843882017-Oct-29 00:34
libcoq-ocaml_8.6-5build1_s390x.deb 36243482017-Oct-29 00:34
coqide_8.6-5build1_s390x.deb 18304842017-Oct-29 00:34
libcoq-ocaml-dev_8.6-5build1_s390x.deb 138434602017-Oct-29 00:34
coq-theories_8.6-5build1_s390x.deb 228002882017-Oct-29 00:34
coq_8.6-5build1_s390x.deb 179298242017-Oct-29 00:35
coq-theories_8.6-5build1_arm64.deb 228012522017-Oct-29 01:20
libcoq-ocaml_8.6-5build1_arm64.deb 37982202017-Oct-29 01:20
coq_8.6-5build1_arm64.deb 188671122017-Oct-29 01:20
libcoq-ocaml-dev_8.6-5build1_arm64.deb 140256682017-Oct-29 01:20
coqide_8.6-5build1_arm64.deb 17019882017-Oct-29 01:20
libcoq-ocaml_8.6-5build1_armhf.deb 34981522017-Oct-29 01:20
coq_8.6-5build1_armhf.deb 169997282017-Oct-29 01:20
coqide_8.6-5build1_armhf.deb 14450162017-Oct-29 01:20
coq-theories_8.6-5build1_armhf.deb 228221562017-Oct-29 01:20
libcoq-ocaml-dev_8.6-5build1_armhf.deb 143134922017-Oct-29 01:20
coq_8.11.0-1.dsc 24962020-Mar-06 16:53
coq_8.11.0.orig.tar.gz 58256202020-Mar-06 16:53
coq_8.11.0-1.debian.tar.xz 316722020-Mar-06 16:53
coq-theories_8.11.0-1_arm64.deb 214164882020-Mar-06 18:13
coq_8.11.0-1_arm64.deb 839354882020-Mar-06 18:13
coqide_8.11.0-1_arm64.deb 21133882020-Mar-06 18:13
libcoq-ocaml_8.11.0-1_arm64.deb 68168042020-Mar-06 18:13
libcoq-ocaml-dev_8.11.0-1_arm64.deb 164325682020-Mar-06 18:13
libcoq-ocaml-dev_8.11.0-1_ppc64el.deb 164929242020-Mar-11 19:53
libcoq-ocaml_8.11.0-1_ppc64el.deb 65005882020-Mar-11 19:53
coqide_8.11.0-1_ppc64el.deb 19056962020-Mar-11 19:53
coq-theories_8.11.0-1_ppc64el.deb 214263762020-Mar-11 19:53
coq_8.11.0-1_ppc64el.deb 787929042020-Mar-11 19:53
coq_8.15.0+dfsg.orig.tar.xz 46699482022-Jan-18 08:14
coq_8.15.0+dfsg-2.debian.tar.xz 396722022-Feb-06 02:49
coq_8.15.0+dfsg-2.dsc 25992022-Feb-06 02:49
libcoq-stdlib_8.15.0+dfsg-2_armhf.deb 246994902022-Feb-06 08:53
coq_8.15.0+dfsg-2_armhf.deb 932499962022-Feb-06 08:53
coqide_8.15.0+dfsg-2_armhf.deb 21839442022-Feb-06 08:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb 458894742022-Feb-06 08:53
libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb 269561062022-Feb-06 08:53
coqide_8.15.0+dfsg-2_ppc64el.deb 25451282022-Feb-06 08:53
coq_8.15.0+dfsg-2_ppc64el.deb 982893182022-Feb-06 08:53
libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb 274291142022-Feb-06 08:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb 457024542022-Feb-06 08:53
libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb 246954782022-Feb-06 08:53
coqide_8.15.0+dfsg-2_riscv64.deb 23071342022-Feb-06 08:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_riscv64.deb 455560182022-Feb-06 08:53
libcoq-core-ocaml_8.15.0+dfsg-2_riscv64.deb 270358682022-Feb-06 08:53
coq_8.15.0+dfsg-2_riscv64.deb 949400122022-Feb-06 08:53
libcoq-stdlib_8.15.0+dfsg-2_riscv64.deb 246951442022-Feb-06 08:53
libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb 275159822022-Feb-06 08:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb 454779902022-Feb-06 08:53
libcoq-stdlib_8.15.0+dfsg-2_s390x.deb 246952202022-Feb-06 08:53
coqide_8.15.0+dfsg-2_s390x.deb 24049222022-Feb-06 08:53
coq_8.15.0+dfsg-2_s390x.deb 971906522022-Feb-06 08:53
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb 455810262022-Feb-06 21:53
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb 283976342022-Feb-06 21:53
coqide_8.15.0+dfsg-2_arm64.deb 28773822022-Feb-06 21:54
coq_8.15.0+dfsg-2_arm64.deb 1067150462022-Feb-06 21:54
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb 246960542022-Feb-06 21:54
coq_8.18.0+dfsg.orig.tar.xz 48683682023-Dec-23 04:46
coq_8.18.0+dfsg-1build2.debian.tar.xz 333362024-Apr-01 03:36
coq_8.18.0+dfsg-1build2.dsc 26852024-Apr-01 03:36
libcoq-stdlib_8.18.0+dfsg-1build2_s390x.deb 265112822024-Apr-01 05:38
libcoq-core-ocaml_8.18.0+dfsg-1build2_s390x.deb 281189022024-Apr-01 05:38
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_s390x.deb 508687622024-Apr-01 05:38
coqide_8.18.0+dfsg-1build2_s390x.deb 24245422024-Apr-01 05:38
coq_8.18.0+dfsg-1build2_s390x.deb 974711722024-Apr-01 05:38
libcoq-stdlib_8.18.0+dfsg-1build2_ppc64el.deb 265119442024-Apr-01 06:34
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_ppc64el.deb 528209642024-Apr-01 06:34
coq_8.18.0+dfsg-1build2_ppc64el.deb 985582142024-Apr-01 06:34
coqide_8.18.0+dfsg-1build2_ppc64el.deb 25129522024-Apr-01 06:34
libcoq-core-ocaml_8.18.0+dfsg-1build2_ppc64el.deb 280401562024-Apr-01 06:34
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb 265121602024-Apr-01 10:55
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb 518608722024-Apr-01 10:55
coqide_8.18.0+dfsg-1build2_arm64.deb 28201742024-Apr-01 10:55
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb 292032642024-Apr-01 10:55
coq_8.18.0+dfsg-1build2_arm64.deb 1066310862024-Apr-01 10:55
libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb 265078482024-Apr-01 10:55
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf.deb 519768422024-Apr-01 10:55
coqide_8.18.0+dfsg-1build2_armhf.deb 21775242024-Apr-01 10:55
coq_8.18.0+dfsg-1build2_armhf.deb 936854982024-Apr-01 10:55
libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb 275473982024-Apr-01 10:55
libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb 265086142024-Apr-01 10:56
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv64.deb 587905122024-Apr-01 10:56
libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb 279205742024-Apr-01 10:56
coqide_8.18.0+dfsg-1build2_riscv64.deb 24288742024-Apr-01 10:56
coq_8.18.0+dfsg-1build2_riscv64.deb 979888062024-Apr-01 10:56
coq_8.20.1+dfsg.orig.tar.xz 50149882025-Feb-18 10:39
coq_8.20.1+dfsg-1.debian.tar.xz 302082025-Feb-18 10:39
coq_8.20.1+dfsg-1.dsc 25822025-Feb-18 10:39
libcoq-stdlib_8.20.1+dfsg-1_arm64.deb 269737202025-Feb-18 10:40
libcoq-core-ocaml-dev_8.20.1+dfsg-1_arm64.deb 697265942025-Feb-18 10:40
libcoq-core-ocaml_8.20.1+dfsg-1_arm64.deb 280004482025-Feb-18 10:40
coqide_8.20.1+dfsg-1_arm64.deb 26340982025-Feb-18 10:40
coq_8.20.1+dfsg-1_arm64.deb 869727302025-Feb-18 10:40
libcoq-stdlib_8.20.1+dfsg-1_ppc64el.deb 269750962025-Feb-18 10:41
libcoq-core-ocaml-dev_8.20.1+dfsg-1_ppc64el.deb 707914682025-Feb-18 10:41
coqide_8.20.1+dfsg-1_ppc64el.deb 23238642025-Feb-18 10:41
libcoq-core-ocaml_8.20.1+dfsg-1_ppc64el.deb 271313102025-Feb-18 10:41
coq_8.20.1+dfsg-1_ppc64el.deb 831196342025-Feb-18 10:41
libcoq-stdlib_8.20.1+dfsg-1_riscv64.deb 269778002025-Feb-18 12:45
libcoq-core-ocaml-dev_8.20.1+dfsg-1_riscv64.deb 769212082025-Feb-18 12:45
libcoq-core-ocaml_8.20.1+dfsg-1_riscv64.deb 271840302025-Feb-18 12:45
coqide_8.20.1+dfsg-1_riscv64.deb 23391902025-Feb-18 12:45
coq_8.20.1+dfsg-1_riscv64.deb 832002382025-Feb-18 12:45
libcoq-stdlib_8.20.1+dfsg-1_s390x.deb 269787242025-Feb-18 15:00
libcoq-core-ocaml-dev_8.20.1+dfsg-1_s390x.deb 692360282025-Feb-18 15:00
coqide_8.20.1+dfsg-1_s390x.deb 23281802025-Feb-18 15:00
libcoq-core-ocaml_8.20.1+dfsg-1_s390x.deb 273075382025-Feb-18 15:00
coq_8.20.1+dfsg-1_s390x.deb 828323822025-Feb-18 15:00
coq_8.20.1+dfsg-1build1.dsc 25692025-Jun-19 20:23
coq_8.20.1+dfsg-1build1.debian.tar.xz 302722025-Jun-19 20:23
libcoq-stdlib_8.20.1+dfsg-1build1_arm64.deb 269218242025-Jun-20 08:39
coqide_8.20.1+dfsg-1build1_arm64.deb 26409562025-Jun-20 08:39
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_arm64.deb 696144502025-Jun-20 08:39
libcoq-core-ocaml_8.20.1+dfsg-1build1_arm64.deb 279603182025-Jun-20 08:39
coq_8.20.1+dfsg-1build1_arm64.deb 869439622025-Jun-20 08:39
libcoq-stdlib_8.20.1+dfsg-1build1_ppc64el.deb 269236902025-Jun-20 08:39
coq_8.20.1+dfsg-1build1_ppc64el.deb 830807522025-Jun-20 08:39
coqide_8.20.1+dfsg-1build1_ppc64el.deb 23439242025-Jun-20 08:39
libcoq-core-ocaml_8.20.1+dfsg-1build1_ppc64el.deb 270903562025-Jun-20 08:39
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_ppc64el.deb 706709642025-Jun-20 08:39
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_s390x.deb 691281762025-Jun-20 08:39
libcoq-stdlib_8.20.1+dfsg-1build1_s390x.deb 269207982025-Jun-20 08:39
coq_8.20.1+dfsg-1build1_s390x.deb 827896722025-Jun-20 08:39
libcoq-core-ocaml_8.20.1+dfsg-1build1_s390x.deb 272639782025-Jun-20 08:39
coqide_8.20.1+dfsg-1build1_s390x.deb 23157822025-Jun-20 08:39
libcoq-stdlib_8.20.1+dfsg-1build1_riscv64.deb 269209082025-Jun-20 13:02
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_riscv64.deb 767626942025-Jun-20 13:02
libcoq-core-ocaml_8.20.1+dfsg-1build1_riscv64.deb 271498122025-Jun-20 13:02
coqide_8.20.1+dfsg-1build1_riscv64.deb 23449122025-Jun-20 13:02
coq_8.20.1+dfsg-1build1_riscv64.deb 831745042025-Jun-20 13:02
coq_8.20.1+dfsg-1build4.dsc 25692026-Mar-01 22:53
coq_8.20.1+dfsg-1build4.debian.tar.xz 303442026-Mar-01 22:53
libcoq-stdlib_8.20.1+dfsg-1build4_arm64.deb 269195802026-Mar-01 22:55
coqide_8.20.1+dfsg-1build4_arm64.deb 26489422026-Mar-01 22:55
libcoq-core-ocaml_8.20.1+dfsg-1build4_arm64.deb 294445302026-Mar-01 22:55
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_arm64.deb 604982782026-Mar-01 22:55
coq_8.20.1+dfsg-1build4_arm64.deb 877431862026-Mar-01 22:55
libcoq-stdlib_8.20.1+dfsg-1build4_ppc64el.deb 269220922026-Mar-01 22:56
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_ppc64el.deb 609012762026-Mar-01 22:56
coqide_8.20.1+dfsg-1build4_ppc64el.deb 23409102026-Mar-01 22:56
libcoq-core-ocaml_8.20.1+dfsg-1build4_ppc64el.deb 286150982026-Mar-01 22:56
coq_8.20.1+dfsg-1build4_ppc64el.deb 838805222026-Mar-01 22:56
libcoq-stdlib_8.20.1+dfsg-1build4_s390x.deb 269209322026-Mar-01 22:57
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_s390x.deb 598216202026-Mar-01 22:57
libcoq-core-ocaml_8.20.1+dfsg-1build4_s390x.deb 288542662026-Mar-01 22:57
coqide_8.20.1+dfsg-1build4_s390x.deb 23863982026-Mar-01 22:57
coq_8.20.1+dfsg-1build4_s390x.deb 843541042026-Mar-01 22:57
libcoq-stdlib_8.20.1+dfsg-1build4_riscv64.deb 269209662026-Mar-02 04:55
libcoq-core-ocaml-dev_8.20.1+dfsg-1build4_riscv64.deb 671071602026-Mar-02 04:55
libcoq-core-ocaml_8.20.1+dfsg-1build4_riscv64.deb 288029662026-Mar-02 04:55
coqide_8.20.1+dfsg-1build4_riscv64.deb 23865322026-Mar-02 04:55
coq_8.20.1+dfsg-1build4_riscv64.deb 846003842026-Mar-02 04:55
coq_9.2.0+dfsg.orig.tar.xz 39460882026-Jul-22 02:44
coq_9.2.0+dfsg-4build2.dsc 24622026-Sep-17 17:19
coq_9.2.0+dfsg-4build2.debian.tar.xz 283602026-Sep-17 17:19
rocqide_9.2.0+dfsg-4build2_ppc64el.deb 23550562026-Sep-17 17:50
libcoq-core-ocaml-dev_9.2.0+dfsg-4build2_ppc64el.deb 652059342026-Sep-17 17:50
libcoq-core-ocaml_9.2.0+dfsg-4build2_ppc64el.deb 304933122026-Sep-17 17:50
libcoq-core_9.2.0+dfsg-4build2_ppc64el.deb 13242362026-Sep-17 17:50
coq_9.2.0+dfsg-4build2_ppc64el.deb 487017522026-Sep-17 17:50
rocqide_9.2.0+dfsg-4build2_s390x.deb 23980882026-Sep-17 17:50
libcoq-core-ocaml-dev_9.2.0+dfsg-4build2_s390x.deb 640459102026-Sep-17 17:50
libcoq-core-ocaml_9.2.0+dfsg-4build2_s390x.deb 307465282026-Sep-17 17:50
libcoq-core_9.2.0+dfsg-4build2_s390x.deb 13242682026-Sep-17 17:50
coq_9.2.0+dfsg-4build2_s390x.deb 491141662026-Sep-17 17:50
rocqide_9.2.0+dfsg-4build2_riscv64.deb 23974162026-Sep-17 19:15
libcoq-core-ocaml-dev_9.2.0+dfsg-4build2_riscv64.deb 718179822026-Sep-17 19:15
libcoq-core-ocaml_9.2.0+dfsg-4build2_riscv64.deb 306940522026-Sep-17 19:15
libcoq-core_9.2.0+dfsg-4build2_riscv64.deb 13244602026-Sep-17 19:15
coq_9.2.0+dfsg-4build2_riscv64.deb 492237662026-Sep-17 19:15
rocqide_9.2.0+dfsg-4build2_arm64.deb 26619842026-Sep-18 11:02
libcoq-core-ocaml-dev_9.2.0+dfsg-4build2_arm64.deb 647921322026-Sep-18 11:02
libcoq-core-ocaml_9.2.0+dfsg-4build2_arm64.deb 313672322026-Sep-18 11:02
libcoq-core_9.2.0+dfsg-4build2_arm64.deb 13244042026-Sep-18 11:02
coq_9.2.0+dfsg-4build2_arm64.deb 519846802026-Sep-18 11:02
rocqide_9.2.0+dfsg-4build2_armhf.deb 6441502026-Sep-18 11:03
libcoq-core-ocaml-dev_9.2.0+dfsg-4build2_armhf.deb 541434042026-Sep-18 11:03
libcoq-core-ocaml_9.2.0+dfsg-4build2_armhf.deb 216021762026-Sep-18 11:03
coq_9.2.0+dfsg-4build2_armhf.deb 283156722026-Sep-18 11:03
libcoq-core_9.2.0+dfsg-4build2_armhf.deb 13241042026-Sep-18 11:03