Niva Repository

/ubuntu/pool/universe/c/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.15.0+dfsg-2_amd64.deb91.0 MiB2022-Feb-05 23:52
coq_8.18.0+dfsg-1build2_amd64.deb91.5 MiB2024-Mar-31 19:32
coqide_8.15.0+dfsg-2_amd64.deb2.3 MiB2022-Feb-05 23:51
coqide_8.18.0+dfsg-1build2_amd64.deb2.2 MiB2024-Mar-31 19:32
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb42.9 MiB2022-Feb-05 23:51
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64...>49.0 MiB2024-Mar-31 19:32
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb25.8 MiB2022-Feb-05 23:51
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb26.4 MiB2024-Mar-31 19:32
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb23.6 MiB2022-Feb-05 23:51
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb25.3 MiB2024-Mar-31 19:32