Syxpi's Ubuntu Mirror

Contenu du répertoire

• coq-serapi_8.20.0+0.20.0-1build3.debian.tar.xz

  18/02/2025 21:25 9 KB
  Télécharger
• coq-serapi_8.20.0+0.20.0-1build3.dsc

  18/02/2025 21:25 2.43 KB
  Télécharger
• coq-serapi_8.20.0+0.20.0-1build3_amd64.deb

  18/02/2025 21:25 33.12 MB
  Télécharger
• coq-serapi_8.20.0+0.20.0-1build4.debian.tar.xz

  19/06/2025 17:20 9.02 KB
  Télécharger
• coq-serapi_8.20.0+0.20.0-1build4.dsc

  19/06/2025 17:20 2.43 KB
  Télécharger
• coq-serapi_8.20.0+0.20.0-1build4_amd64.deb

  20/06/2025 04:01 33.1 MB
  Télécharger
• libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build3_amd64.deb

  18/02/2025 21:25 16.76 MB
  Télécharger
• libcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb

  20/06/2025 04:01 16.74 MB
  Télécharger
• libcoq-serapi-ocaml_8.20.0+0.20.0-1build3_amd64.deb

  18/02/2025 21:25 6.31 MB
  Télécharger
• libcoq-serapi-ocaml_8.20.0+0.20.0-1build4_amd64.deb

  20/06/2025 04:01 6.3 MB
  Télécharger