File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-theories_8.12.0-3+b3_alpha.deb22.8 MiB2020-Nov-26 02:03
coq_8.12.0-3+b3_alpha.buildinfo15.4 KiB2020-Nov-26 02:03
coq_8.12.0-3+b3_alpha.deb101.0 MiB2020-Nov-26 02:03
coq_9.2.0+dfsg-1_alpha.buildinfo15.5 KiB2026-Jul-10 14:03
coq_9.2.0+dfsg-1_alpha.deb23.1 MiB2026-Jul-10 14:03
coqide_8.12.0-3+b3_alpha.deb45.6 KiB2020-Nov-26 02:03
libcoq-core-ocaml-dev_9.2.0+dfsg-1_alpha.deb44.1 MiB2026-Jul-10 14:03
libcoq-core-ocaml_9.2.0+dfsg-1_alpha.deb17.2 MiB2026-Jul-10 14:03
libcoq-core_9.2.0+dfsg-1_alpha.deb1.1 MiB2026-Jul-10 14:03
libcoq-ocaml-dbgsym_8.12.0-3+b3_alpha.deb32.8 KiB2020-Nov-26 02:03
libcoq-ocaml-dev_8.12.0-3+b3_alpha.deb10.8 MiB2020-Nov-26 02:03
libcoq-ocaml_8.12.0-3+b3_alpha.deb5.2 MiB2020-Nov-26 02:03
rocqide_9.2.0+dfsg-1_alpha.deb592.6 KiB2026-Jul-10 14:03