Index of /pool/main/c/coq/

directories: 0, files: 32

NameLast modifiedSize
../
coq-theories_8.6-4_amd64.deb2019-08-29 03:51:2629.98 MiB
coq_8.3.pl4+dfsg-2_amd64.deb2019-08-30 02:17:185.42 MiB
libcoq-core-ocaml-dev_8.20.1+dfsg-1+b1_amd64.deb2025-08-29 10:15:4065.52 MiB
libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb2019-08-30 01:13:082.00 MiB
coq_8.6-4.dsc2019-08-29 03:32:132.34 KiB
coq_8.12.0.orig.tar.gz2021-07-05 05:15:275.73 MiB
coq_8.20.1+dfsg-1.dsc2025-08-29 12:31:482.52 KiB
coq_8.20.1+dfsg-1+b1_amd64.deb2025-08-29 11:50:5166.97 MiB
coq_8.12.0-3.dsc2021-07-05 05:15:272.42 KiB
coq_8.6.orig.tar.gz2019-08-29 03:32:144.78 MiB
coqide_8.6-4_amd64.deb2019-08-29 03:56:491.34 MiB
libcoq-core-ocaml_8.20.1+dfsg-1+b1_amd64.deb2025-08-29 12:14:1024.75 MiB
libcoq-ocaml_8.6-4_amd64.deb2019-08-29 03:29:533.34 MiB
coq_8.12.0-3+b3_amd64.deb2021-07-05 04:47:3386.26 MiB
coq_8.12.0-3.debian.tar.xz2021-07-05 05:15:2736.89 KiB
coqide_8.3.pl4+dfsg-2_amd64.deb2019-08-30 01:24:095.36 MiB
libcoq-ocaml-dev_8.3.pl4+dfsg-2_amd64.deb2019-08-30 01:42:345.64 MiB
coq_8.3.pl4+dfsg.orig.tar.gz2019-08-30 01:02:053.01 MiB
coq_8.20.1+dfsg.orig.tar.xz2025-08-29 12:31:484.78 MiB
coq_8.20.1+dfsg-1.debian.tar.xz2025-08-29 12:31:4829.50 KiB
coqide_8.20.1+dfsg-1+b1_amd64.deb2025-08-29 12:08:311.84 MiB
coq-theories_8.12.0-3+b3_amd64.deb2021-07-05 04:41:2034.81 MiB
libcoq-ocaml-dev_8.6-4_amd64.deb2019-08-29 03:38:4512.67 MiB
coq_8.6-4_amd64.deb2019-08-29 03:38:1913.31 MiB
coq_8.3.pl4+dfsg-2.debian.tar.gz2019-08-30 01:01:5815.92 KiB
libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb2021-07-05 05:00:3717.86 MiB
coqide_8.12.0-3+b3_amd64.deb2021-07-05 04:51:051.79 MiB
coq_8.6-4.debian.tar.xz2019-08-29 03:32:1321.46 KiB
coq-theories_8.3.pl4+dfsg-2_all.deb2019-08-30 02:23:1851.89 MiB
libcoq-stdlib_8.20.1+dfsg-1+b1_amd64.deb2025-08-29 11:29:0622.44 MiB
coq_8.3.pl4+dfsg-2.dsc2019-08-30 01:01:582.29 KiB
libcoq-ocaml_8.12.0-3+b3_amd64.deb2021-07-05 04:39:567.40 MiB