Index of /archive.ubuntu.org/ubuntu/pool/universe/c/coq/

NameLast ModifiedSizeType
../ -  Directory
coq-theories_8.11.0-1_amd64.deb2020-Mar-06 08:38:1931.5Mapplication/vnd.debian.binary-package
coq-theories_8.4pl3dfsg-1_all.deb2014-Jan-19 23:58:4330.5Mapplication/vnd.debian.binary-package
coq-theories_8.4pl4dfsg-3build2_all.deb2015-Nov-04 14:04:3330.7Mapplication/vnd.debian.binary-package
coq-theories_8.6-5build1_amd64.deb2017-Oct-28 16:34:4031.6Mapplication/vnd.debian.binary-package
coq-theories_8.6-5build1_i386.deb2017-Oct-28 16:34:5230.6Mapplication/vnd.debian.binary-package
coq_8.11.0-1.debian.tar.xz2020-Mar-06 07:53:1730.9Kapplication/x-xz
coq_8.11.0-1.dsc2020-Mar-06 07:53:162.4Kapplication/octet-stream
coq_8.11.0-1_amd64.deb2020-Mar-06 08:38:1873.0Mapplication/vnd.debian.binary-package
coq_8.11.0.orig.tar.gz2020-Mar-06 07:53:175.5Mapplication/x-gtar-compressed
coq_8.15.0+dfsg-2.debian.tar.xz2022-Feb-05 17:49:5338.7Kapplication/x-xz
coq_8.15.0+dfsg-2.dsc2022-Feb-05 17:49:532.5Kapplication/octet-stream
coq_8.15.0+dfsg-2_amd64.deb2022-Feb-05 23:52:0090.9Mapplication/vnd.debian.binary-package
coq_8.15.0+dfsg.orig.tar.xz2022-Jan-17 23:14:254.4Mapplication/x-xz
coq_8.16.1+dfsg-1build2.debian.tar.xz2023-Feb-16 10:06:4332.5Kapplication/x-xz
coq_8.16.1+dfsg-1build2.dsc2023-Feb-16 10:06:432.5Kapplication/octet-stream
coq_8.16.1+dfsg-1build2_amd64.deb2023-Feb-16 10:58:17104.3Mapplication/vnd.debian.binary-package
coq_8.16.1+dfsg.orig.tar.xz2022-Nov-29 17:24:124.5Mapplication/x-xz
coq_8.17.0+dfsg-1build1.debian.tar.xz2023-Jul-24 18:37:4632.3Kapplication/x-xz
coq_8.17.0+dfsg-1build1.dsc2023-Jul-24 18:37:462.5Kapplication/octet-stream
coq_8.17.0+dfsg-1build1_amd64.deb2023-Jul-24 18:37:4988.7Mapplication/vnd.debian.binary-package
coq_8.17.0+dfsg.orig.tar.xz2023-Jun-12 19:01:564.5Mapplication/x-xz
coq_8.18.0+dfsg-1build2.debian.tar.xz2024-Mar-31 19:36:4732.5Kapplication/x-xz
coq_8.18.0+dfsg-1build2.dsc2024-Mar-31 19:36:472.6Kapplication/octet-stream
coq_8.18.0+dfsg-1build2_amd64.deb2024-Mar-31 20:32:2291.4Mapplication/vnd.debian.binary-package
coq_8.18.0+dfsg.orig.tar.xz2023-Dec-22 19:46:564.6Mapplication/x-xz
coq_8.19.1+dfsg-1.debian.tar.xz2024-May-02 12:53:1732.0Kapplication/x-xz
coq_8.19.1+dfsg-1.dsc2024-May-02 12:53:172.5Kapplication/octet-stream
coq_8.19.1+dfsg-1_amd64.deb2024-May-02 12:53:2792.3Mapplication/vnd.debian.binary-package
coq_8.19.1+dfsg.orig.tar.bz22024-May-02 12:53:175.3Mapplication/x-gtar-compressed
coq_8.4pl3dfsg-1.debian.tar.xz2014-Jan-19 23:18:5215.4Kapplication/x-xz
coq_8.4pl3dfsg-1.dsc2014-Jan-19 23:18:532.3Kapplication/octet-stream
coq_8.4pl3dfsg-1_amd64.deb2014-Jan-19 23:58:453.8Mapplication/vnd.debian.binary-package
coq_8.4pl3dfsg-1_i386.deb2014-Jan-19 23:58:553.5Mapplication/vnd.debian.binary-package
coq_8.4pl3dfsg.orig.tar.gz2014-Jan-19 23:18:533.3Mapplication/x-gtar-compressed
coq_8.4pl4dfsg-3build2.debian.tar.xz2015-Nov-04 13:14:2115.7Kapplication/x-xz
coq_8.4pl4dfsg-3build2.dsc2015-Nov-04 13:14:212.3Kapplication/octet-stream
coq_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 14:04:343.8Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 13:39:443.5Mapplication/vnd.debian.binary-package
coq_8.4pl4dfsg.orig.tar.gz2014-Jul-28 00:13:173.3Mapplication/x-gtar-compressed
coq_8.6-5build1.debian.tar.xz2017-Oct-28 15:39:2821.3Kapplication/x-xz
coq_8.6-5build1.dsc2017-Oct-28 15:39:282.3Kapplication/octet-stream
coq_8.6-5build1_amd64.deb2017-Oct-28 16:34:4116.8Mapplication/vnd.debian.binary-package
coq_8.6-5build1_i386.deb2017-Oct-28 16:34:5116.1Mapplication/vnd.debian.binary-package
coq_8.6.orig.tar.gz2016-Dec-28 17:13:414.7Mapplication/x-gtar-compressed
coqide_8.11.0-1_amd64.deb2020-Mar-06 08:38:181.6Mapplication/vnd.debian.binary-package
coqide_8.15.0+dfsg-2_amd64.deb2022-Feb-05 23:51:532.2Mapplication/vnd.debian.binary-package
coqide_8.16.1+dfsg-1build2_amd64.deb2023-Feb-16 10:58:172.2Mapplication/vnd.debian.binary-package
coqide_8.17.0+dfsg-1build1_amd64.deb2023-Jul-24 18:37:492.2Mapplication/vnd.debian.binary-package
coqide_8.18.0+dfsg-1build2_amd64.deb2024-Mar-31 20:32:212.2Mapplication/vnd.debian.binary-package
coqide_8.19.1+dfsg-1_amd64.deb2024-May-02 12:53:262.2Mapplication/vnd.debian.binary-package
coqide_8.4pl3dfsg-1_amd64.deb2014-Jan-19 23:58:45727.1Kapplication/vnd.debian.binary-package
coqide_8.4pl3dfsg-1_i386.deb2014-Jan-19 23:58:54661.6Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 14:04:31731.3Kapplication/vnd.debian.binary-package
coqide_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 13:39:44694.9Kapplication/vnd.debian.binary-package
coqide_8.6-5build1_amd64.deb2017-Oct-28 16:34:401.4Mapplication/vnd.debian.binary-package
coqide_8.6-5build1_i386.deb2017-Oct-28 16:34:511.3Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb2022-Feb-05 23:51:5842.9Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb2023-Feb-16 10:58:1747.2Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb2023-Jul-24 18:37:4847.6Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb2024-Mar-31 20:32:2149.0Mapplication/vnd.debian.binary-package
libcoq-core-ocaml-dev_8.19.1+dfsg-1_amd64.deb2024-May-02 12:53:2649.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb2022-Feb-05 23:51:5625.8Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb2023-Feb-16 10:58:1725.6Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb2023-Jul-24 18:37:4825.9Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb2024-Mar-31 20:32:2126.4Mapplication/vnd.debian.binary-package
libcoq-core-ocaml_8.19.1+dfsg-1_amd64.deb2024-May-02 12:53:2626.6Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.11.0-1_amd64.deb2020-Mar-06 08:38:2115.3Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb2014-Jan-19 23:58:433.5Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb2014-Jan-19 23:58:553.4Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 14:04:323.5Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 13:39:453.5Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-5build1_amd64.deb2017-Oct-28 16:34:4013.1Mapplication/vnd.debian.binary-package
libcoq-ocaml-dev_8.6-5build1_i386.deb2017-Oct-28 16:34:5013.1Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.11.0-1_amd64.deb2020-Mar-06 08:38:206.0Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb2014-Jan-19 23:58:431.5Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl3dfsg-1_i386.deb2014-Jan-19 23:58:541.3Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb2015-Nov-04 14:04:311.4Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb2015-Nov-04 13:39:441.3Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-5build1_amd64.deb2017-Oct-28 16:34:393.4Mapplication/vnd.debian.binary-package
libcoq-ocaml_8.6-5build1_i386.deb2017-Oct-28 16:34:513.2Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb2022-Feb-05 23:51:5823.5Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb2023-Feb-16 10:58:1723.3Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb2023-Jul-24 18:37:4827.1Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb2024-Mar-31 20:32:2025.2Mapplication/vnd.debian.binary-package
libcoq-stdlib_8.19.1+dfsg-1_amd64.deb2024-May-02 12:53:2525.8Mapplication/vnd.debian.binary-package
Mirrors @ BSKYB