Syxpi's Debian Mirror

Contenu du répertoire

• coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb

  15/06/2025 01:53 29.61 MB
  Télécharger
• coq-serapi_8.20.0+0.20.0-1+b4_arm64.deb

  15/06/2025 05:38 34.39 MB
  Télécharger
• coq-serapi_8.20.0+0.20.0-1+b4_ppc64el.deb

  15/06/2025 06:18 29.57 MB
  Télécharger
• coq-serapi_8.20.0+0.20.0-1.debian.tar.xz

  20/11/2024 09:57 8.87 KB
  Télécharger
• coq-serapi_8.20.0+0.20.0-1.dsc

  20/11/2024 09:57 2.43 KB
  Télécharger
• coq-serapi_8.20.0+0.20.0.orig.tar.gz

  20/11/2024 09:57 178.2 KB
  Télécharger
• libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_amd64.deb

  15/06/2025 01:53 16.59 MB
  Télécharger
• libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_arm64.deb

  15/06/2025 05:38 16.76 MB
  Télécharger
• libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1+b4_ppc64el.deb

  15/06/2025 06:18 16.95 MB
  Télécharger
• libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_amd64.deb

  15/06/2025 01:53 6.1 MB
  Télécharger
• libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_arm64.deb

  15/06/2025 05:38 6.35 MB
  Télécharger
• libcoq-serapi-ocaml_8.20.0+0.20.0-1+b4_ppc64el.deb

  15/06/2025 06:18 6.12 MB
  Télécharger