Syxpi's Ubuntu Mirror

Contenu du répertoire

• cvc5_1.1.2-1build1.debian.tar.xz

  31/03/2024 18:36 6.42 KB
  Télécharger
• cvc5_1.1.2-1build1.dsc

  31/03/2024 18:36 2.53 KB
  Télécharger
• cvc5_1.1.2-1build1_amd64.deb

  01/04/2024 03:46 93.36 KB
  Télécharger
• cvc5_1.1.2-2build1.debian.tar.xz

  03/01/2025 21:43 7.3 KB
  Télécharger
• cvc5_1.1.2-2build1.dsc

  03/01/2025 21:43 2.42 KB
  Télécharger
• cvc5_1.1.2-2build1_amd64.deb

  03/01/2025 21:43 89.78 KB
  Télécharger
• cvc5_1.3.2-1.debian.tar.xz

  24/12/2025 06:24 8.33 KB
  Télécharger
• cvc5_1.3.2-1.dsc

  24/12/2025 06:24 2.41 KB
  Télécharger
• cvc5_1.3.2-1_amd64.deb

  24/12/2025 06:24 119.1 KB
  Télécharger
• cvc5_1.3.2-1_amd64v3.deb

  24/12/2025 06:24 120.8 KB
  Télécharger
• libcvc5-1_1.1.2-1build1_amd64.deb

  01/04/2024 03:46 4.85 MB
  Télécharger
• libcvc5-1_1.1.2-2build1_amd64.deb

  03/01/2025 21:43 5.04 MB
  Télécharger
• libcvc5-1_1.3.2-1_amd64.deb

  24/12/2025 06:24 5.89 MB
  Télécharger
• libcvc5-1_1.3.2-1_amd64v3.deb

  24/12/2025 06:24 6.08 MB
  Télécharger
• libcvc5-dev_1.1.2-1build1_amd64.deb

  01/04/2024 03:46 82.23 KB
  Télécharger
• libcvc5-dev_1.1.2-2build1_amd64.deb

  03/01/2025 21:43 82.2 KB
  Télécharger
• libcvc5-dev_1.3.2-1_amd64.deb

  24/12/2025 06:24 109.34 KB
  Télécharger
• libcvc5-dev_1.3.2-1_amd64v3.deb

  24/12/2025 06:24 109.35 KB
  Télécharger
• libcvc5parser1_1.1.2-1build1_amd64.deb

  01/04/2024 03:46 204.97 KB
  Télécharger
• libcvc5parser1_1.1.2-2build1_amd64.deb

  03/01/2025 21:43 206.26 KB
  Télécharger
• libcvc5parser1_1.3.2-1_amd64.deb

  24/12/2025 06:24 229.25 KB
  Télécharger
• libcvc5parser1_1.3.2-1_amd64v3.deb

  24/12/2025 06:24 233.78 KB
  Télécharger
• python3-cvc5_1.1.2-1build1_amd64.deb

  01/04/2024 03:46 339.19 KB
  Télécharger
• python3-cvc5_1.1.2-2build1_amd64.deb

  03/01/2025 21:43 349.91 KB
  Télécharger
• python3-cvc5_1.3.2-1_amd64.deb

  24/12/2025 06:24 381.84 KB
  Télécharger
• python3-cvc5_1.3.2-1_amd64v3.deb

  24/12/2025 06:24 384.35 KB
  Télécharger