Index of /debian/pool/main/c/coq

Name ↑ Last modified Size
Parent Directory  -  -
coq-theories_8.12.0-3+b3_amd64.deb  25-Nov-2020 07:28  35 MiB
coq-theories_8.12.0-3+b3_i386.deb  25-Nov-2020 07:18  34 MiB
coq_8.12.0-3+b3_amd64.deb  25-Nov-2020 07:28  86 MiB
coq_8.12.0-3+b3_i386.deb  25-Nov-2020 07:18  84 MiB
coq_8.12.0-3.debian.tar.xz  10-Sep-2020 06:38  37 KiB
coq_8.12.0-3.dsc  10-Sep-2020 06:38  2.4 KiB
coq_8.12.0.orig.tar.gz  22-Aug-2020 09:26  5.7 MiB
coq_8.16.1+dfsg-1+b2_amd64.deb  13-Feb-2023 01:14  89 MiB
coq_8.16.1+dfsg-1+b2_i386.deb  13-Feb-2023 01:29  84 MiB
coq_8.16.1+dfsg-1.debian.tar.xz  29-Nov-2022 08:35  32 KiB
coq_8.16.1+dfsg-1.dsc  29-Nov-2022 08:35  2.6 KiB
coq_8.16.1+dfsg.orig.tar.xz  29-Nov-2022 08:35  4.5 MiB
coq_8.20.1+dfsg-1+b1_amd64.deb  15-Jun-2025 01:07  67 MiB
coq_8.20.1+dfsg-1+b4_amd64.deb  19-Jun-2026 05:42  68 MiB
coq_8.20.1+dfsg-1.debian.tar.xz  17-Feb-2025 16:37  30 KiB
coq_8.20.1+dfsg-1.dsc  17-Feb-2025 16:37  2.5 KiB
coq_8.20.1+dfsg.orig.tar.xz  17-Feb-2025 16:37  4.8 MiB
coq_9.2.0+dfsg-3+b1_amd64.deb  27-Jul-2026 19:33  39 MiB
coq_9.2.0+dfsg-3.debian.tar.xz  27-Jul-2026 14:12  28 KiB
coq_9.2.0+dfsg-3.dsc  27-Jul-2026 14:12  2.4 KiB
coq_9.2.0+dfsg-3_i386.deb  27-Jul-2026 14:53  23 MiB
coq_9.2.0+dfsg.orig.tar.xz  10-Jul-2026 08:36  3.8 MiB
coqide_8.12.0-3+b3_amd64.deb  25-Nov-2020 07:28  1.8 MiB
coqide_8.12.0-3+b3_i386.deb  25-Nov-2020 07:18  1.6 MiB
coqide_8.16.1+dfsg-1+b2_amd64.deb  13-Feb-2023 01:14  1.9 MiB
coqide_8.16.1+dfsg-1+b2_i386.deb  13-Feb-2023 01:29  1.7 MiB
coqide_8.20.1+dfsg-1+b1_amd64.deb  15-Jun-2025 01:07  1.8 MiB
coqide_8.20.1+dfsg-1+b4_amd64.deb  19-Jun-2026 05:42  1.8 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_amd64.deb  13-Feb-2023 01:14  41 MiB
libcoq-core-ocaml-dev_8.16.1+dfsg-1+b2_i386.deb  13-Feb-2023 01:29  40 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb  15-Jun-2025 01:07  66 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b4_amd64.deb  19-Jun-2026 05:42  50 MiB
libcoq-core-ocaml-dev_9.2.0+dfsg-3+b1_amd64.deb  27-Jul-2026 19:33  53 MiB
libcoq-core-ocaml-dev_9.2.0+dfsg-3_i386.deb  27-Jul-2026 14:53  44 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_amd64.deb  13-Feb-2023 01:14  22 MiB
libcoq-core-ocaml_8.16.1+dfsg-1+b2_i386.deb  13-Feb-2023 01:29  21 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb  15-Jun-2025 01:07  25 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b4_amd64.deb  19-Jun-2026 05:42  23 MiB
libcoq-core-ocaml_9.2.0+dfsg-3+b1_amd64.deb  27-Jul-2026 19:33  25 MiB
libcoq-core-ocaml_9.2.0+dfsg-3_i386.deb  27-Jul-2026 14:53  17 MiB
libcoq-core_9.2.0+dfsg-3+b1_amd64.deb  27-Jul-2026 19:33  1.1 MiB
libcoq-core_9.2.0+dfsg-3_i386.deb  27-Jul-2026 14:53  1.1 MiB
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb  25-Nov-2020 07:28  18 MiB
libcoq-ocaml-dev_8.12.0-3+b3_i386.deb  25-Nov-2020 07:18  18 MiB
libcoq-ocaml_8.12.0-3+b3_amd64.deb  25-Nov-2020 07:28  7.4 MiB
libcoq-ocaml_8.12.0-3+b3_i386.deb  25-Nov-2020 07:18  7.2 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_amd64.deb  13-Feb-2023 01:14  20 MiB
libcoq-stdlib_8.16.1+dfsg-1+b2_i386.deb  13-Feb-2023 01:29  20 MiB
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb  15-Jun-2025 01:07  22 MiB
libcoq-stdlib_8.20.1+dfsg-1+b4_amd64.deb  19-Jun-2026 05:42  22 MiB
rocqide_9.2.0+dfsg-3+b1_amd64.deb  27-Jul-2026 19:33  1.9 MiB
rocqide_9.2.0+dfsg-3_i386.deb  27-Jul-2026 14:53  622 KiB
pub.gotlandia.net — 0 directories, 52 files