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

/ubuntu/pool/universe/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.4pl3dfsg-1.debian.tar.xz15.4 KiB2014-01-19T23:18Z
coq_8.4pl3dfsg-1.dsc2.3 KiB2014-01-19T23:18Z
coq_8.4pl3dfsg.orig.tar.gz3.4 MiB2014-01-19T23:18Z
coq-theories_8.4pl3dfsg-1_all.deb30.5 MiB2014-01-19T23:58Z
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb3.5 MiB2014-01-19T23:58Z
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb1.5 MiB2014-01-19T23:58Z
coq_8.4pl3dfsg-1_amd64.deb3.9 MiB2014-01-19T23:58Z
coqide_8.4pl3dfsg-1_amd64.deb727.2 KiB2014-01-19T23:58Z
libcoq-ocaml_8.4pl3dfsg-1_i386.deb1.4 MiB2014-01-19T23:58Z
coqide_8.4pl3dfsg-1_i386.deb661.6 KiB2014-01-19T23:58Z
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb3.5 MiB2014-01-19T23:58Z
coq_8.4pl3dfsg-1_i386.deb3.6 MiB2014-01-19T23:58Z
coq_8.4pl4dfsg.orig.tar.gz3.4 MiB2014-07-27T23:13Z
coq_8.4pl4dfsg-3build2.dsc2.3 KiB2015-11-04T13:14Z
coq_8.4pl4dfsg-3build2.debian.tar.xz15.8 KiB2015-11-04T13:14Z
coq_8.4pl4dfsg-3build2_i386.deb3.6 MiB2015-11-04T13:39Z
coqide_8.4pl4dfsg-3build2_i386.deb694.9 KiB2015-11-04T13:39Z
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb1.3 MiB2015-11-04T13:39Z
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb3.6 MiB2015-11-04T13:39Z
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb1.4 MiB2015-11-04T14:04Z
coqide_8.4pl4dfsg-3build2_amd64.deb731.4 KiB2015-11-04T14:04Z
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb3.5 MiB2015-11-04T14:04Z
coq-theories_8.4pl4dfsg-3build2_all.deb30.7 MiB2015-11-04T14:04Z
coq_8.4pl4dfsg-3build2_amd64.deb3.8 MiB2015-11-04T14:04Z
coq_8.6.orig.tar.gz4.8 MiB2016-12-28T17:13Z
coq_8.6-5build1.debian.tar.xz21.4 KiB2017-10-28T14:39Z
coq_8.6-5build1.dsc2.3 KiB2017-10-28T14:39Z
libcoq-ocaml_8.6-5build1_amd64.deb3.4 MiB2017-10-28T15:34Z
libcoq-ocaml-dev_8.6-5build1_amd64.deb13.2 MiB2017-10-28T15:34Z
coq-theories_8.6-5build1_amd64.deb31.6 MiB2017-10-28T15:34Z
coqide_8.6-5build1_amd64.deb1.5 MiB2017-10-28T15:34Z
coq_8.6-5build1_amd64.deb16.9 MiB2017-10-28T15:34Z
libcoq-ocaml-dev_8.6-5build1_i386.deb13.2 MiB2017-10-28T15:34Z
coq_8.6-5build1_i386.deb16.2 MiB2017-10-28T15:34Z
coqide_8.6-5build1_i386.deb1.3 MiB2017-10-28T15:34Z
libcoq-ocaml_8.6-5build1_i386.deb3.2 MiB2017-10-28T15:34Z
coq-theories_8.6-5build1_i386.deb30.7 MiB2017-10-28T15:34Z
coq_8.11.0-1.dsc2.4 KiB2020-03-06T07:53Z
coq_8.11.0.orig.tar.gz5.6 MiB2020-03-06T07:53Z
coq_8.11.0-1.debian.tar.xz30.9 KiB2020-03-06T07:53Z
coqide_8.11.0-1_amd64.deb1.7 MiB2020-03-06T08:38Z
coq_8.11.0-1_amd64.deb73.0 MiB2020-03-06T08:38Z
coq-theories_8.11.0-1_amd64.deb31.5 MiB2020-03-06T08:38Z
libcoq-ocaml_8.11.0-1_amd64.deb6.0 MiB2020-03-06T08:38Z
libcoq-ocaml-dev_8.11.0-1_amd64.deb15.3 MiB2020-03-06T08:38Z
coq_8.15.0+dfsg.orig.tar.xz4.5 MiB2022-01-17T23:14Z
coq_8.15.0+dfsg-2.dsc2.5 KiB2022-02-05T17:49Z
coq_8.15.0+dfsg-2.debian.tar.xz38.7 KiB2022-02-05T17:49Z
coqide_8.15.0+dfsg-2_amd64.deb2.3 MiB2022-02-05T23:51Z
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb25.8 MiB2022-02-05T23:51Z
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb42.9 MiB2022-02-05T23:51Z
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb23.6 MiB2022-02-05T23:51Z
coq_8.15.0+dfsg-2_amd64.deb91.0 MiB2022-02-05T23:52Z
coq_8.18.0+dfsg.orig.tar.xz4.6 MiB2023-12-22T19:46Z
coq_8.18.0+dfsg-1build2.dsc2.6 KiB2024-03-31T18:36Z
coq_8.18.0+dfsg-1build2.debian.tar.xz32.6 KiB2024-03-31T18:36Z
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb25.3 MiB2024-03-31T19:32Z
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb26.4 MiB2024-03-31T19:32Z
coqide_8.18.0+dfsg-1build2_amd64.deb2.2 MiB2024-03-31T19:32Z
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb49.0 MiB2024-03-31T19:32Z
coq_8.18.0+dfsg-1build2_amd64.deb91.5 MiB2024-03-31T19:32Z
coq_8.19.1+dfsg.orig.tar.bz25.3 MiB2024-05-02T11:53Z
coq_8.19.1+dfsg-3build3.debian.tar.xz32.2 KiB2024-09-07T07:08Z
coq_8.19.1+dfsg-3build3.dsc2.5 KiB2024-09-07T07:08Z
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb65.1 MiB2024-09-07T07:09Z
libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb25.8 MiB2024-09-07T07:09Z
coq_8.19.1+dfsg-3build3_amd64.deb96.1 MiB2024-09-07T07:09Z
coqide_8.19.1+dfsg-3build3_amd64.deb2.3 MiB2024-09-07T07:09Z
libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb24.8 MiB2024-09-07T07:09Z
coq_8.20.0+dfsg-1.debian.tar.xz29.5 KiB2024-11-20T18:47Z
coq_8.20.0+dfsg-1.dsc2.5 KiB2024-11-20T18:47Z
coq_8.20.0+dfsg.orig.tar.xz4.8 MiB2024-11-20T18:47Z
libcoq-stdlib_8.20.0+dfsg-1_amd64.deb25.7 MiB2024-11-20T18:48Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1_amd64.deb67.1 MiB2024-11-20T18:48Z
coqide_8.20.0+dfsg-1_amd64.deb2.1 MiB2024-11-20T18:48Z
libcoq-core-ocaml_8.20.0+dfsg-1_amd64.deb25.5 MiB2024-11-20T18:48Z
coq_8.20.0+dfsg-1_amd64.deb85.9 MiB2024-11-20T18:48Z
coq_8.20.0+dfsg-1build2.dsc2.5 KiB2025-02-12T22:46Z
coq_8.20.0+dfsg-1build2.debian.tar.xz29.5 KiB2025-02-12T22:46Z
libcoq-stdlib_8.20.0+dfsg-1build2_amd64.deb25.7 MiB2025-02-12T22:46Z
libcoq-core-ocaml-dev_8.20.0+dfsg-1build2_amd64.deb66.5 MiB2025-02-12T22:46Z
coqide_8.20.0+dfsg-1build2_amd64.deb2.1 MiB2025-02-12T22:46Z
libcoq-core-ocaml_8.20.0+dfsg-1build2_amd64.deb25.6 MiB2025-02-12T22:46Z
coq_8.20.0+dfsg-1build2_amd64.deb78.2 MiB2025-02-12T22:46Z
coq_8.20.1+dfsg.orig.tar.xz4.8 MiB2025-02-18T01:39Z
coq_8.20.1+dfsg-1.debian.tar.xz29.5 KiB2025-02-18T01:39Z
coq_8.20.1+dfsg-1.dsc2.5 KiB2025-02-18T01:39Z
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb25.7 MiB2025-02-18T01:40Z
coqide_8.20.1+dfsg-1_amd64.deb2.1 MiB2025-02-18T01:40Z
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb25.6 MiB2025-02-18T01:40Z
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb66.5 MiB2025-02-18T01:40Z
coq_8.20.1+dfsg-1_amd64.deb78.2 MiB2025-02-18T01:40Z

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