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

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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.4pl3dfsg-1.dsc2.3 KiB2014-01-19T23:18Z
coq_8.4pl4dfsg-3build2.dsc2.3 KiB2015-11-04T13:14Z
coq_8.6-5build1.dsc2.3 KiB2017-10-28T14:39Z
coq_8.11.0-1.dsc2.4 KiB2020-03-06T07:53Z
coq_8.20.0+dfsg-1.dsc2.5 KiB2024-11-20T18:47Z
coq_8.19.1+dfsg-3build3.dsc2.5 KiB2024-09-07T07:08Z
coq_8.15.0+dfsg-2.dsc2.5 KiB2022-02-05T17:49Z
coq_8.18.0+dfsg-1build2.dsc2.6 KiB2024-03-31T18:36Z
coq_8.4pl3dfsg-1.debian.tar.xz15.4 KiB2014-01-19T23:18Z
coq_8.4pl4dfsg-3build2.debian.tar.xz15.8 KiB2015-11-04T13:14Z
coq_8.6-5build1.debian.tar.xz21.4 KiB2017-10-28T14:39Z
coq_8.20.0+dfsg-1.debian.tar.xz29.5 KiB2024-11-20T18:47Z
coq_8.11.0-1.debian.tar.xz30.9 KiB2020-03-06T07:53Z
coq_8.19.1+dfsg-3build3.debian.tar.xz32.2 KiB2024-09-07T07:08Z
coq_8.18.0+dfsg-1build2.debian.tar.xz32.6 KiB2024-03-31T18:36Z
coq_8.15.0+dfsg-2.debian.tar.xz38.7 KiB2022-02-05T17:49Z
coqide_8.4pl3dfsg-1_ppc64el.deb198.3 KiB2014-02-18T02:43Z
coqide_8.4pl3dfsg-1_arm64.deb198.3 KiB2014-01-20T03:43Z
coqide_8.4pl4dfsg-3build2_ppc64el.deb207.8 KiB2015-11-04T14:55Z
coqide_8.4pl4dfsg-3build2_s390x.deb207.8 KiB2016-01-05T16:35Z
libcoq-ocaml_8.4pl3dfsg-1_ppc64el.deb321.7 KiB2014-02-18T02:43Z
libcoq-ocaml_8.4pl3dfsg-1_arm64.deb322.5 KiB2014-01-20T03:43Z
libcoq-ocaml_8.4pl4dfsg-3build2_ppc64el.deb327.7 KiB2015-11-04T14:55Z
libcoq-ocaml_8.4pl4dfsg-3build2_s390x.deb329.9 KiB2016-01-05T16:35Z
coqide_8.4pl3dfsg-1_powerpc.deb627.2 KiB2014-01-20T00:23Z
coqide_8.4pl4dfsg-3build2_powerpc.deb648.8 KiB2015-11-04T13:39Z
coqide_8.4pl4dfsg-3build2_arm64.deb753.9 KiB2015-11-04T14:29Z
coqide_8.4pl3dfsg-1_armhf.deb757.6 KiB2014-01-20T01:03Z
coqide_8.4pl4dfsg-3build2_armhf.deb762.6 KiB2015-11-04T14:55Z
coq_8.4pl4dfsg-3build2_ppc64el.deb1016.0 KiB2015-11-04T14:55Z
coq_8.4pl4dfsg-3build2_s390x.deb1017.2 KiB2016-01-05T16:35Z
coq_8.4pl3dfsg-1_ppc64el.deb1.1 MiB2014-02-18T02:43Z
coq_8.4pl3dfsg-1_arm64.deb1.1 MiB2014-01-20T03:43Z
libcoq-ocaml-dev_8.4pl4dfsg-3build2_ppc64el.deb1.2 MiB2015-11-04T14:55Z
libcoq-ocaml-dev_8.4pl4dfsg-3build2_s390x.deb1.2 MiB2016-01-05T16:35Z
libcoq-ocaml-dev_8.4pl3dfsg-1_arm64.deb1.2 MiB2014-01-20T03:43Z
libcoq-ocaml-dev_8.4pl3dfsg-1_ppc64el.deb1.2 MiB2014-02-18T02:43Z
libcoq-ocaml_8.4pl4dfsg-3build2_powerpc.deb1.3 MiB2015-11-04T13:39Z
libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb1.3 MiB2014-01-20T00:23Z
libcoq-ocaml_8.4pl4dfsg-3build2_arm64.deb1.3 MiB2015-11-04T14:29Z
coqide_8.6-5build1_armhf.deb1.4 MiB2017-10-28T16:20Z
libcoq-ocaml_8.4pl4dfsg-3build2_armhf.deb1.4 MiB2015-11-04T14:55Z
libcoq-ocaml_8.4pl3dfsg-1_armhf.deb1.5 MiB2014-01-20T01:03Z
coqide_8.6-5build1_arm64.deb1.6 MiB2017-10-28T16:20Z
coqide_8.6-5build1_ppc64el.deb1.7 MiB2017-10-28T15:34Z
coqide_8.6-5build1_s390x.deb1.7 MiB2017-10-28T15:34Z
coqide_8.11.0-1_ppc64el.deb1.8 MiB2020-03-11T10:53Z
coqide_8.11.0-1_arm64.deb2.0 MiB2020-03-06T09:13Z
coqide_8.18.0+dfsg-1build2_armhf.deb2.1 MiB2024-04-01T01:55Z
coqide_8.15.0+dfsg-2_armhf.deb2.1 MiB2022-02-05T23:53Z
coqide_8.20.0+dfsg-1_ppc64el.deb2.2 MiB2024-11-20T18:48Z
coqide_8.15.0+dfsg-2_riscv64.deb2.2 MiB2022-02-05T23:53Z
coqide_8.20.0+dfsg-1_s390x.deb2.2 MiB2024-11-20T18:49Z
coqide_8.20.0+dfsg-1_riscv64.deb2.2 MiB2024-11-20T20:27Z
coqide_8.15.0+dfsg-2_s390x.deb2.3 MiB2022-02-05T23:53Z
coqide_8.18.0+dfsg-1build2_s390x.deb2.3 MiB2024-03-31T20:38Z
coqide_8.18.0+dfsg-1build2_riscv64.deb2.3 MiB2024-04-01T01:56Z
coqide_8.18.0+dfsg-1build2_ppc64el.deb2.4 MiB2024-03-31T21:34Z
coqide_8.15.0+dfsg-2_ppc64el.deb2.4 MiB2022-02-05T23:53Z
coqide_8.19.1+dfsg-3build3_s390x.deb2.4 MiB2024-09-07T08:10Z
coqide_8.19.1+dfsg-3build3_ppc64el.deb2.5 MiB2024-09-07T08:10Z
coqide_8.19.1+dfsg-3build3_riscv64.deb2.5 MiB2024-09-07T09:48Z
coqide_8.20.0+dfsg-1_arm64.deb2.5 MiB2024-11-20T18:48Z
coqide_8.18.0+dfsg-1build2_arm64.deb2.7 MiB2024-04-01T01:55Z
coqide_8.15.0+dfsg-2_arm64.deb2.7 MiB2022-02-06T12:54Z
coqide_8.19.1+dfsg-3build3_arm64.deb2.8 MiB2024-09-07T08:10Z
coq_8.4pl4dfsg-3build2_powerpc.deb3.3 MiB2015-11-04T13:39Z
libcoq-ocaml_8.6-5build1_armhf.deb3.3 MiB2017-10-28T16:20Z
coq_8.4pl3dfsg.orig.tar.gz3.4 MiB2014-01-19T23:18Z
coq_8.4pl4dfsg.orig.tar.gz3.4 MiB2014-07-27T23:13Z
libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb3.4 MiB2014-01-20T00:23Z
coq_8.4pl3dfsg-1_powerpc.deb3.4 MiB2014-01-20T00:23Z
libcoq-ocaml_8.6-5build1_s390x.deb3.5 MiB2017-10-28T15:34Z
libcoq-ocaml_8.6-5build1_ppc64el.deb3.5 MiB2017-10-28T15:34Z
libcoq-ocaml-dev_8.4pl4dfsg-3build2_powerpc.deb3.5 MiB2015-11-04T13:39Z
libcoq-ocaml_8.6-5build1_arm64.deb3.6 MiB2017-10-28T16:20Z
coq_8.4pl4dfsg-3build2_armhf.deb3.6 MiB2015-11-04T14:55Z
coq_8.4pl3dfsg-1_armhf.deb3.7 MiB2014-01-20T01:03Z
coq_8.4pl4dfsg-3build2_arm64.deb3.7 MiB2015-11-04T14:29Z
libcoq-ocaml-dev_8.4pl4dfsg-3build2_arm64.deb3.7 MiB2015-11-04T14:29Z
libcoq-ocaml-dev_8.4pl3dfsg-1_armhf.deb3.8 MiB2014-01-20T01:03Z
libcoq-ocaml-dev_8.4pl4dfsg-3build2_armhf.deb4.0 MiB2015-11-04T14:55Z
coq_8.15.0+dfsg.orig.tar.xz4.5 MiB2022-01-17T23:14Z
coq_8.18.0+dfsg.orig.tar.xz4.6 MiB2023-12-22T19:46Z
coq_8.6.orig.tar.gz4.8 MiB2016-12-28T17:13Z
coq_8.20.0+dfsg.orig.tar.xz4.8 MiB2024-11-20T18:47Z
coq_8.19.1+dfsg.orig.tar.bz25.3 MiB2024-05-02T11:53Z
coq_8.11.0.orig.tar.gz5.6 MiB2020-03-06T07:53Z
libcoq-ocaml_8.11.0-1_ppc64el.deb6.2 MiB2020-03-11T10:53Z
libcoq-ocaml_8.11.0-1_arm64.deb6.5 MiB2020-03-06T09:13Z
libcoq-ocaml-dev_8.6-5build1_s390x.deb13.2 MiB2017-10-28T15:34Z
libcoq-ocaml-dev_8.6-5build1_arm64.deb13.4 MiB2017-10-28T16:20Z
libcoq-ocaml-dev_8.6-5build1_ppc64el.deb13.4 MiB2017-10-28T15:34Z
libcoq-ocaml-dev_8.6-5build1_armhf.deb13.7 MiB2017-10-28T16:20Z
libcoq-ocaml-dev_8.11.0-1_arm64.deb15.7 MiB2020-03-06T09:13Z
libcoq-ocaml-dev_8.11.0-1_ppc64el.deb15.7 MiB2020-03-11T10:53Z
coq_8.6-5build1_armhf.deb16.2 MiB2017-10-28T16:20Z
coq_8.6-5build1_s390x.deb17.1 MiB2017-10-28T15:35Z
coq_8.6-5build1_ppc64el.deb17.4 MiB2017-10-28T15:34Z
coq_8.6-5build1_arm64.deb18.0 MiB2017-10-28T16:20Z
coq-theories_8.11.0-1_arm64.deb20.4 MiB2020-03-06T09:13Z
coq-theories_8.11.0-1_ppc64el.deb20.4 MiB2020-03-11T10:53Z
coq-theories_8.6-5build1_ppc64el.deb21.7 MiB2017-10-28T15:34Z
coq-theories_8.6-5build1_s390x.deb21.7 MiB2017-10-28T15:34Z
coq-theories_8.6-5build1_arm64.deb21.7 MiB2017-10-28T16:20Z
coq-theories_8.6-5build1_armhf.deb21.8 MiB2017-10-28T16:20Z
libcoq-stdlib_8.15.0+dfsg-2_riscv64.deb23.6 MiB2022-02-05T23:53Z
libcoq-stdlib_8.15.0+dfsg-2_s390x.deb23.6 MiB2022-02-05T23:53Z
libcoq-stdlib_8.15.0+dfsg-2_ppc64el.deb23.6 MiB2022-02-05T23:53Z
libcoq-stdlib_8.15.0+dfsg-2_arm64.deb23.6 MiB2022-02-06T12:54Z
libcoq-stdlib_8.15.0+dfsg-2_armhf.deb23.6 MiB2022-02-05T23:53Z
libcoq-core-ocaml_8.19.1+dfsg-3build3_ppc64el.deb25.0 MiB2024-09-07T08:10Z
libcoq-core-ocaml_8.19.1+dfsg-3build3_riscv64.deb25.1 MiB2024-09-07T09:48Z
libcoq-core-ocaml_8.19.1+dfsg-3build3_s390x.deb25.2 MiB2024-09-07T08:10Z
libcoq-stdlib_8.18.0+dfsg-1build2_armhf.deb25.3 MiB2024-04-01T01:55Z
libcoq-stdlib_8.18.0+dfsg-1build2_riscv64.deb25.3 MiB2024-04-01T01:56Z
libcoq-stdlib_8.18.0+dfsg-1build2_s390x.deb25.3 MiB2024-03-31T20:38Z
libcoq-stdlib_8.18.0+dfsg-1build2_ppc64el.deb25.3 MiB2024-03-31T21:34Z
libcoq-stdlib_8.18.0+dfsg-1build2_arm64.deb25.3 MiB2024-04-01T01:55Z
libcoq-core-ocaml_8.15.0+dfsg-2_armhf.deb25.7 MiB2022-02-05T23:53Z
libcoq-stdlib_8.20.0+dfsg-1_ppc64el.deb25.7 MiB2024-11-20T18:48Z
libcoq-stdlib_8.20.0+dfsg-1_riscv64.deb25.7 MiB2024-11-20T20:27Z
libcoq-stdlib_8.20.0+dfsg-1_arm64.deb25.7 MiB2024-11-20T18:48Z
libcoq-stdlib_8.20.0+dfsg-1_s390x.deb25.7 MiB2024-11-20T18:49Z
libcoq-stdlib_8.19.1+dfsg-3build3_s390x.deb25.8 MiB2024-09-07T08:10Z
libcoq-stdlib_8.19.1+dfsg-3build3_riscv64.deb25.8 MiB2024-09-07T09:48Z
libcoq-stdlib_8.19.1+dfsg-3build3_ppc64el.deb25.8 MiB2024-09-07T08:10Z
libcoq-stdlib_8.19.1+dfsg-3build3_arm64.deb25.8 MiB2024-09-07T08:10Z
libcoq-core-ocaml_8.15.0+dfsg-2_riscv64.deb25.8 MiB2022-02-05T23:53Z
libcoq-core-ocaml_8.20.0+dfsg-1_ppc64el.deb25.8 MiB2024-11-20T18:48Z
libcoq-core-ocaml_8.19.1+dfsg-3build3_arm64.deb25.8 MiB2024-09-07T08:10Z
libcoq-core-ocaml_8.20.0+dfsg-1_riscv64.deb25.8 MiB2024-11-20T20:27Z
libcoq-core-ocaml_8.20.0+dfsg-1_s390x.deb26.0 MiB2024-11-20T18:49Z
libcoq-core-ocaml_8.15.0+dfsg-2_ppc64el.deb26.2 MiB2022-02-05T23:53Z
libcoq-core-ocaml_8.15.0+dfsg-2_s390x.deb26.2 MiB2022-02-05T23:53Z
libcoq-core-ocaml_8.18.0+dfsg-1build2_armhf.deb26.3 MiB2024-04-01T01:55Z
libcoq-core-ocaml_8.20.0+dfsg-1_arm64.deb26.6 MiB2024-11-20T18:48Z
libcoq-core-ocaml_8.18.0+dfsg-1build2_riscv64.deb26.6 MiB2024-04-01T01:56Z
libcoq-core-ocaml_8.18.0+dfsg-1build2_ppc64el.deb26.7 MiB2024-03-31T21:34Z
libcoq-core-ocaml_8.18.0+dfsg-1build2_s390x.deb26.8 MiB2024-03-31T20:38Z
libcoq-core-ocaml_8.15.0+dfsg-2_arm64.deb27.1 MiB2022-02-06T12:53Z
libcoq-core-ocaml_8.18.0+dfsg-1build2_arm64.deb27.9 MiB2024-04-01T01:55Z
coq-theories_8.4pl3dfsg-1_all.deb30.5 MiB2014-01-19T23:58Z
coq-theories_8.4pl4dfsg-3build2_all.deb30.7 MiB2015-11-04T14:04Z
libcoq-core-ocaml-dev_8.15.0+dfsg-2_s390x.deb43.4 MiB2022-02-05T23:53Z
libcoq-core-ocaml-dev_8.15.0+dfsg-2_riscv64.deb43.4 MiB2022-02-05T23:53Z
libcoq-core-ocaml-dev_8.15.0+dfsg-2_arm64.deb43.5 MiB2022-02-06T12:53Z
libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb43.6 MiB2022-02-05T23:53Z
libcoq-core-ocaml-dev_8.15.0+dfsg-2_armhf.deb43.8 MiB2022-02-05T23:53Z
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_s390x.deb48.5 MiB2024-03-31T20:38Z
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_arm64.deb49.5 MiB2024-04-01T01:55Z
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_armhf.deb49.6 MiB2024-04-01T01:55Z
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_ppc64el.deb50.4 MiB2024-03-31T21:34Z
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_riscv64.deb56.1 MiB2024-04-01T01:56Z
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_s390x.deb64.6 MiB2024-09-07T08:10Z
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_arm64.deb65.1 MiB2024-09-07T08:10Z
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_ppc64el.deb66.1 MiB2024-09-07T08:10Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1_s390x.deb66.7 MiB2024-11-20T18:49Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1_arm64.deb67.1 MiB2024-11-20T18:48Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1_ppc64el.deb68.1 MiB2024-11-20T18:48Z
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_riscv64.deb71.7 MiB2024-09-07T09:48Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1_riscv64.deb74.0 MiB2024-11-20T20:27Z
coq_8.11.0-1_ppc64el.deb75.1 MiB2020-03-11T10:53Z
coq_8.11.0-1_arm64.deb80.0 MiB2020-03-06T09:13Z
coq_8.20.0+dfsg-1_s390x.deb87.0 MiB2024-11-20T18:49Z
coq_8.20.0+dfsg-1_ppc64el.deb87.2 MiB2024-11-20T18:48Z
coq_8.20.0+dfsg-1_riscv64.deb87.4 MiB2024-11-20T20:28Z
coq_8.15.0+dfsg-2_armhf.deb88.9 MiB2022-02-05T23:53Z
coq_8.18.0+dfsg-1build2_armhf.deb89.3 MiB2024-04-01T01:55Z
coq_8.15.0+dfsg-2_riscv64.deb90.5 MiB2022-02-05T23:53Z
coq_8.20.0+dfsg-1_arm64.deb91.1 MiB2024-11-20T18:48Z
coq_8.15.0+dfsg-2_s390x.deb92.7 MiB2022-02-05T23:53Z
coq_8.18.0+dfsg-1build2_s390x.deb93.0 MiB2024-03-31T20:38Z
coq_8.18.0+dfsg-1build2_riscv64.deb93.4 MiB2024-04-01T01:56Z
coq_8.15.0+dfsg-2_ppc64el.deb93.7 MiB2022-02-05T23:53Z
coq_8.18.0+dfsg-1build2_ppc64el.deb94.0 MiB2024-03-31T21:34Z
coq_8.19.1+dfsg-3build3_s390x.deb97.7 MiB2024-09-07T08:10Z
coq_8.19.1+dfsg-3build3_ppc64el.deb98.2 MiB2024-09-07T08:10Z
coq_8.19.1+dfsg-3build3_riscv64.deb98.3 MiB2024-09-07T09:48Z
coq_8.18.0+dfsg-1build2_arm64.deb101.7 MiB2024-04-01T01:55Z
coq_8.15.0+dfsg-2_arm64.deb101.8 MiB2022-02-06T12:54Z
coq_8.19.1+dfsg-3build3_arm64.deb103.4 MiB2024-09-07T08:10Z

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

This site is operating by seadog007 & james58899 & Haraguroicha, with infrastructure provided by Taiwan Digital Streaming Co.

The source code of this site can be found on Here (Mirror Manager) and Here (Website)

Contact Us

cube github