senko.digital

Welcome to the Senko Digital mirror. This instance is hosted in Frankfurt am Main, Germany. We support HTTP, HTTPS, and rsync.

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq_8.12.0-3+b3_alpha.deb101.0 MiB2020-Nov-26 00:03
coq-theories_8.12.0-3+b3_alpha.deb22.8 MiB2020-Nov-26 00:03
libcoq-ocaml-dev_8.12.0-3+b3_alpha.deb10.8 MiB2020-Nov-26 00:03
libcoq-ocaml_8.12.0-3+b3_alpha.deb5.2 MiB2020-Nov-26 00:03
coqide_8.12.0-3+b3_alpha.deb45.6 KiB2020-Nov-26 00:03
libcoq-ocaml-dbgsym_8.12.0-3+b3_alpha.deb32.8 KiB2020-Nov-26 00:03
coq_8.12.0-3+b3_alpha.buildinfo15.4 KiB2020-Nov-26 00:03