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-theories_8.12.0-3+b3_sparc64.deb22.8 MiB2020-Nov-25 12:03
coq_8.12.0-3+b3_sparc64.buildinfo15.7 KiB2020-Nov-25 12:03
coq_8.12.0-3+b3_sparc64.deb101.0 MiB2020-Nov-25 12:03
coq_9.1.0+dfsg-3+sparc64.debian.tar.xz23.7 KiB2026-Feb-15 00:03
coq_9.1.0+dfsg-3+sparc64.dsc2.5 KiB2026-Feb-15 00:03
coq_9.1.0+dfsg-3+sparc64_sparc64.buildinfo16.1 KiB2026-Feb-15 00:03
coq_9.1.0+dfsg-3+sparc64_sparc64.deb22.3 MiB2026-Feb-15 00:03
coqide_8.12.0-3+b3_sparc64.deb45.7 KiB2020-Nov-25 12:03
libcoq-core-ocaml-dev_9.1.0+dfsg-3+sparc64_sparc64.deb42.8 MiB2026-Feb-15 00:03
libcoq-core-ocaml_9.1.0+dfsg-3+sparc64_sparc64.deb16.7 MiB2026-Feb-15 00:03
libcoq-core_9.1.0+dfsg-3+sparc64_sparc64.deb1.1 MiB2026-Feb-15 00:03
libcoq-ocaml-dbgsym_8.12.0-3+b3_sparc64.deb35.5 KiB2020-Nov-25 12:03
libcoq-ocaml-dev_8.12.0-3+b3_sparc64.deb10.8 MiB2020-Nov-25 12:03
libcoq-ocaml_8.12.0-3+b3_sparc64.deb5.2 MiB2020-Nov-25 12:03
rocqide_9.1.0+dfsg-3+sparc64_sparc64.deb542.3 KiB2026-Feb-15 00:03