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

directories: 0, files: 77

NameLast modifiedSize
../
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb2025-02-18 02:40:1525.72 MiB
libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09:2925.76 MiB
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32:2025.28 MiB
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb2022-02-06 00:51:5823.55 MiB
libcoq-ocaml_8.6-5build1_i386.deb2017-10-28 17:34:513.24 MiB
libcoq-ocaml_8.6-5build1_amd64.deb2017-10-28 17:34:393.40 MiB
libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb2015-11-04 14:39:441.33 MiB
libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb2015-11-04 15:04:311.43 MiB
libcoq-ocaml_8.4pl3dfsg-1_i386.deb2014-01-20 00:58:541.37 MiB
libcoq-ocaml_8.4pl3dfsg-1_amd64.deb2014-01-20 00:58:431.51 MiB
libcoq-ocaml_8.11.0-1_amd64.deb2020-03-06 09:38:206.03 MiB
libcoq-ocaml-dev_8.6-5build1_i386.deb2017-10-28 17:34:5013.16 MiB
libcoq-ocaml-dev_8.6-5build1_amd64.deb2017-10-28 17:34:4013.17 MiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb2015-11-04 14:39:453.56 MiB
libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb2015-11-04 15:04:323.50 MiB
libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb2014-01-20 00:58:553.48 MiB
libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb2014-01-20 00:58:433.49 MiB
libcoq-ocaml-dev_8.11.0-1_amd64.deb2020-03-06 09:38:2115.32 MiB
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb2025-02-18 02:40:1625.57 MiB
libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09:3024.76 MiB
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32:2126.40 MiB
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb2022-02-06 00:51:5625.82 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb2025-02-18 02:40:1666.47 MiB
libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09:2965.07 MiB
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32:2149.03 MiB
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb2022-02-06 00:51:5842.95 MiB
coqide_8.6-5build1_i386.deb2017-10-28 17:34:511.32 MiB
coqide_8.6-5build1_amd64.deb2017-10-28 17:34:401.47 MiB
coqide_8.4pl4dfsg-3build2_i386.deb2015-11-04 14:39:44694.95 KiB
coqide_8.4pl4dfsg-3build2_amd64.deb2015-11-04 15:04:31731.36 KiB
coqide_8.4pl3dfsg-1_i386.deb2014-01-20 00:58:54661.64 KiB
coqide_8.4pl3dfsg-1_amd64.deb2014-01-20 00:58:45727.16 KiB
coqide_8.20.1+dfsg-1_amd64.deb2025-02-18 02:40:162.11 MiB
coqide_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09:302.33 MiB
coqide_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32:212.24 MiB
coqide_8.15.0+dfsg-2_amd64.deb2022-02-06 00:51:532.28 MiB
coqide_8.11.0-1_amd64.deb2020-03-06 09:38:181.68 MiB
coq_8.6.orig.tar.gz2016-12-28 18:13:414.78 MiB
coq_8.6-5build1_i386.deb2017-10-28 17:34:5116.16 MiB
coq_8.6-5build1_amd64.deb2017-10-28 17:34:4116.85 MiB
coq_8.6-5build1.dsc2017-10-28 16:39:282.35 KiB
coq_8.6-5build1.debian.tar.xz2017-10-28 16:39:2821.35 KiB
coq_8.4pl4dfsg.orig.tar.gz2014-07-28 01:13:173.36 MiB
coq_8.4pl4dfsg-3build2_i386.deb2015-11-04 14:39:443.57 MiB
coq_8.4pl4dfsg-3build2_amd64.deb2015-11-04 15:04:343.81 MiB
coq_8.4pl4dfsg-3build2.dsc2015-11-04 14:14:212.34 KiB
coq_8.4pl4dfsg-3build2.debian.tar.xz2015-11-04 14:14:2115.77 KiB
coq_8.4pl3dfsg.orig.tar.gz2014-01-20 00:18:533.36 MiB
coq_8.4pl3dfsg-1_i386.deb2014-01-20 00:58:553.57 MiB
coq_8.4pl3dfsg-1_amd64.deb2014-01-20 00:58:453.85 MiB
coq_8.4pl3dfsg-1.dsc2014-01-20 00:18:532.30 KiB
coq_8.4pl3dfsg-1.debian.tar.xz2014-01-20 00:18:5215.43 KiB
coq_8.20.1+dfsg.orig.tar.xz2025-02-18 02:39:144.78 MiB
coq_8.20.1+dfsg-1_amd64.deb2025-02-18 02:40:1878.16 MiB
coq_8.20.1+dfsg-1.dsc2025-02-18 02:39:142.52 KiB
coq_8.20.1+dfsg-1.debian.tar.xz2025-02-18 02:39:1429.50 KiB
coq_8.19.1+dfsg.orig.tar.bz22024-05-02 13:53:175.33 MiB
coq_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09:3096.14 MiB
coq_8.19.1+dfsg-3build3.dsc2024-09-07 09:08:512.51 KiB
coq_8.19.1+dfsg-3build3.debian.tar.xz2024-09-07 09:08:5132.24 KiB
coq_8.18.0+dfsg.orig.tar.xz2023-12-22 20:46:564.64 MiB
coq_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32:2291.48 MiB
coq_8.18.0+dfsg-1build2.dsc2024-03-31 20:36:472.62 KiB
coq_8.18.0+dfsg-1build2.debian.tar.xz2024-03-31 20:36:4732.55 KiB
coq_8.15.0+dfsg.orig.tar.xz2022-01-18 00:14:254.45 MiB
coq_8.15.0+dfsg-2_amd64.deb2022-02-06 00:52:0090.97 MiB
coq_8.15.0+dfsg-2.dsc2022-02-05 18:49:532.54 KiB
coq_8.15.0+dfsg-2.debian.tar.xz2022-02-05 18:49:5338.74 KiB
coq_8.11.0.orig.tar.gz2020-03-06 08:53:175.56 MiB
coq_8.11.0-1_amd64.deb2020-03-06 09:38:1873.04 MiB
coq_8.11.0-1.dsc2020-03-06 08:53:162.44 KiB
coq_8.11.0-1.debian.tar.xz2020-03-06 08:53:1730.93 KiB
coq-theories_8.6-5build1_i386.deb2017-10-28 17:34:5230.68 MiB
coq-theories_8.6-5build1_amd64.deb2017-10-28 17:34:4031.64 MiB
coq-theories_8.4pl4dfsg-3build2_all.deb2015-11-04 15:04:3330.74 MiB
coq-theories_8.4pl3dfsg-1_all.deb2014-01-20 00:58:4330.49 MiB
coq-theories_8.11.0-1_amd64.deb2020-03-06 09:38:1931.55 MiB