NameLast modifiedSize
(File)
coq-theories_8.11.0-1_amd64.deb
March 6, 2020 3:38 PM
32M
(File)
coqide_8.11.0-1_amd64.deb
March 6, 2020 3:38 PM
1.7M
(File)
coqide_8.15.0+dfsg-2_amd64.deb
February 6, 2022 6:51 AM
2.3M
(File)
coqide_8.18.0+dfsg-1build2_amd64.deb
April 1, 2024 2:32 AM
2.2M
(File)
coq_8.11.0-1_amd64.deb
March 6, 2020 3:38 PM
73M
(File)
coq_8.15.0+dfsg-2_amd64.deb
February 6, 2022 6:52 AM
91M
(File)
coq_8.18.0+dfsg-1build2_amd64.deb
April 1, 2024 2:32 AM
91M
(File)
libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb
February 6, 2022 6:51 AM
43M
(File)
libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb
April 1, 2024 2:32 AM
49M
(File)
libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb
February 6, 2022 6:51 AM
26M
(File)
libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb
April 1, 2024 2:32 AM
26M
(File)
libcoq-ocaml-dev_8.11.0-1_amd64.deb
March 6, 2020 3:38 PM
15M
(File)
libcoq-ocaml_8.11.0-1_amd64.deb
March 6, 2020 3:38 PM
6.0M
(File)
libcoq-stdlib_8.15.0+dfsg-2_amd64.deb
February 6, 2022 6:51 AM
24M
(File)
libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb
April 1, 2024 2:32 AM
25M