🟠 Veritescil Mirror
LIVE
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coqide_8.20.1+dfsg-1build1_amd64.deb2.1 MiB2025-Jun-20 02:39
libcoq-core-ocaml_8.20.1+dfsg-1build1_amd64.deb25.5 MiB2025-Jun-20 02:39
coq_8.20.1+dfsg-1build1_amd64.deb77.8 MiB2025-Jun-20 02:39
libcoq-stdlib_8.20.1+dfsg-1build1_amd64.deb25.7 MiB2025-Jun-20 02:39
libcoq-core-ocaml-dev_8.20.1+dfsg-1build1_amd64...>66.4 MiB2025-Jun-20 02:39
coq_8.20.1+dfsg-1_amd64.deb78.2 MiB2025-Feb-18 04:40
coqide_8.20.1+dfsg-1_amd64.deb2.1 MiB2025-Feb-18 04:40
libcoq-core-ocaml-dev_8.20.1+dfsg-1_amd64.deb66.5 MiB2025-Feb-18 04:40
libcoq-core-ocaml_8.20.1+dfsg-1_amd64.deb25.6 MiB2025-Feb-18 04:40
libcoq-stdlib_8.20.1+dfsg-1_amd64.deb25.7 MiB2025-Feb-18 04:40
coq_8.18.0+dfsg-1build2_amd64.deb91.5 MiB2024-Mar-31 22:32
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb26.4 MiB2024-Mar-31 22:32
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64...>49.0 MiB2024-Mar-31 22:32
coqide_8.18.0+dfsg-1build2_amd64.deb2.2 MiB2024-Mar-31 22:32
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb25.3 MiB2024-Mar-31 22:32
coq_8.15.0+dfsg-2_amd64.deb91.0 MiB2022-Feb-06 02:52
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb42.9 MiB2022-Feb-06 02:51
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb23.6 MiB2022-Feb-06 02:51
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb25.8 MiB2022-Feb-06 02:51
coqide_8.15.0+dfsg-2_amd64.deb2.3 MiB2022-Feb-06 02:51
libcoq-ocaml-dev_8.11.0-1_amd64.deb15.3 MiB2020-Mar-06 11:38
libcoq-ocaml_8.11.0-1_amd64.deb6.0 MiB2020-Mar-06 11:38
coq-theories_8.11.0-1_amd64.deb31.5 MiB2020-Mar-06 11:38
coqide_8.11.0-1_amd64.deb1.7 MiB2020-Mar-06 11:38
coq_8.11.0-1_amd64.deb73.0 MiB2020-Mar-06 11:38