Syxpi's Ubuntu Mirror

Contenu du répertoire

• coq-hott_8.18-3build4.debian.tar.xz

  08/04/2024 07:57 3.05 KB
  Télécharger
• coq-hott_8.18-3build4.dsc

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

  18/02/2025 21:25 3.02 KB
  Télécharger
• coq-hott_9.0-1build1.dsc

  18/02/2025 21:25 1.98 KB
  Télécharger
• coq-hott_9.0-1build2.debian.tar.xz

  20/06/2025 13:22 3.09 KB
  Télécharger
• coq-hott_9.0-1build2.dsc

  20/06/2025 13:22 1.98 KB
  Télécharger
• libcoq-hott_8.18-3build4_amd64.deb

  08/04/2024 07:57 13.79 MB
  Télécharger
• libcoq-hott_9.0-1build1_amd64.deb

  18/02/2025 21:25 16.15 MB
  Télécharger
• libcoq-hott_9.0-1build2_amd64.deb

  20/06/2025 13:23 16.1 MB
  Télécharger