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+b3_amd64.deb  12-Feb-2026 09:13  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.1.0+dfsg-3+b1_i386.deb  27-Dec-2025 18:35  23 MiB
coq_9.1.0+dfsg-3+b2_amd64.deb  14-Feb-2026 23:45  38 MiB
coq_9.1.0+dfsg-3.debian.tar.xz  11-Nov-2025 17:29  24 KiB
coq_9.1.0+dfsg-3.dsc  11-Nov-2025 17:29  2.5 KiB
coq_9.1.0+dfsg.orig.tar.xz  17-Sep-2025 16:17  3.7 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+b3_amd64.deb  12-Feb-2026 09:13  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+b3_amd64.deb  12-Feb-2026 09:13  50 MiB
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b1_i386.deb  27-Dec-2025 18:35  43 MiB
libcoq-core-ocaml-dev_9.1.0+dfsg-3+b2_amd64.deb  14-Feb-2026 23:45  51 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+b3_amd64.deb  12-Feb-2026 09:13  23 MiB
libcoq-core-ocaml_9.1.0+dfsg-3+b1_i386.deb  27-Dec-2025 18:35  17 MiB
libcoq-core-ocaml_9.1.0+dfsg-3+b2_amd64.deb  14-Feb-2026 23:45  24 MiB
libcoq-core_9.1.0+dfsg-3+b1_i386.deb  27-Dec-2025 18:35  1.1 MiB
libcoq-core_9.1.0+dfsg-3+b2_amd64.deb  14-Feb-2026 23:45  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+b3_amd64.deb  12-Feb-2026 09:13  22 MiB
rocqide_9.1.0+dfsg-3+b1_i386.deb  27-Dec-2025 18:35  626 KiB
rocqide_9.1.0+dfsg-3+b2_amd64.deb  14-Feb-2026 23:45  1.9 MiB
pub.gotlandia.net — 0 directories, 52 files