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.1.2-3.debian.tar.xz

  28/10/2025 00:01 7.22 KB
  Télécharger
• cvc5_1.1.2-3.dsc

  28/10/2025 00:01 2.4 KB
  Télécharger
• cvc5_1.1.2-3_amd64.deb

  28/10/2025 00:16 92.49 KB
  Télécharger
• cvc5_1.1.2-3_amd64v3.deb

  28/10/2025 00:28 93.63 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.1.2-3_amd64.deb

  28/10/2025 00:16 5.06 MB
  Télécharger
• libcvc5-1_1.1.2-3_amd64v3.deb

  28/10/2025 00:28 5.23 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.1.2-3_amd64.deb

  28/10/2025 00:16 82.25 KB
  Télécharger
• libcvc5-dev_1.1.2-3_amd64v3.deb

  28/10/2025 00:28 82.26 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.1.2-3_amd64.deb

  28/10/2025 00:16 208.19 KB
  Télécharger
• libcvc5parser1_1.1.2-3_amd64v3.deb

  28/10/2025 00:28 211.64 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.1.2-3_amd64.deb

  28/10/2025 00:16 323.24 KB
  Télécharger
• python3-cvc5_1.1.2-3_amd64v3.deb

  28/10/2025 00:28 331.91 KB
  Télécharger