Syxpi's Ubuntu Mirror

Contenu du répertoire

• metamath_0.180-1.debian.tar.xz

  02/01/2020 23:13 2.04 KB
  Télécharger
• metamath_0.180-1.dsc

  02/01/2020 23:13 1.18 KB
  Télécharger
• metamath_0.180-1_amd64.deb

  02/01/2020 23:58 327.3 KB
  Télécharger
• metamath_0.195-1.debian.tar.xz

  01/01/2021 17:19 1.88 KB
  Télécharger
• metamath_0.195-1.dsc

  01/01/2021 17:19 1.18 KB
  Télécharger
• metamath_0.195-1_amd64.deb

  01/01/2021 17:34 335.74 KB
  Télécharger
• metamath_0.198-2.debian.tar.xz

  08/12/2025 00:18 2.14 KB
  Télécharger
• metamath_0.198-2.dsc

  08/12/2025 00:18 1.18 KB
  Télécharger
• metamath_0.198-2_amd64.deb

  08/12/2025 00:18 404.77 KB
  Télécharger
• metamath_0.198-2_amd64v3.deb

  08/12/2025 00:18 432.09 KB
  Télécharger