Syxpi's Ubuntu Mirror

Contenu du répertoire

• coq-elpi_1.13.0-1.debian.tar.xz

  10/02/2022 23:14 2.52 KB
  Télécharger
• coq-elpi_1.13.0-1.dsc

  10/02/2022 23:14 2.04 KB
  Télécharger
• coq-elpi_1.19.3-2build4.debian.tar.xz

  08/04/2024 07:57 3.76 KB
  Télécharger
• coq-elpi_1.19.3-2build4.dsc

  08/04/2024 07:57 2.06 KB
  Télécharger
• coq-elpi_2.4.0-1build1.debian.tar.xz

  18/02/2025 21:25 3.76 KB
  Télécharger
• coq-elpi_2.4.0-1build1.dsc

  18/02/2025 21:25 2.02 KB
  Télécharger
• coq-elpi_2.5.0-1.1build1.debian.tar.xz

  31/08/2025 19:42 3.84 KB
  Télécharger
• coq-elpi_2.5.0-1.1build1.dsc

  31/08/2025 19:42 2.03 KB
  Télécharger
• coq-elpi_2.5.0-1.2.debian.tar.xz

  05/11/2025 08:46 3.83 KB
  Télécharger
• coq-elpi_2.5.0-1.2.dsc

  05/11/2025 08:46 2 KB
  Télécharger
• libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb

  10/02/2022 23:34 1.63 MB
  Télécharger
• libcoq-elpi-ocaml_1.13.0-1_amd64.deb

  10/02/2022 23:34 4.76 MB
  Télécharger
• libcoq-elpi_1.19.3-2build4_amd64.deb

  08/04/2024 07:57 3.03 MB
  Télécharger
• libcoq-elpi_2.4.0-1build1_amd64.deb

  18/02/2025 21:25 12.91 MB
  Télécharger
• libcoq-elpi_2.5.0-1.1build1_amd64.deb

  01/09/2025 03:34 12.45 MB
  Télécharger
• libcoq-elpi_2.5.0-1.2_amd64.deb

  05/11/2025 11:50 12.46 MB
  Télécharger
• libcoq-elpi_2.5.0-1.2_amd64v3.deb

  05/11/2025 11:51 12.46 MB
  Télécharger