Syxpi's Ubuntu Mirror

Contenu du répertoire

• prover9-doc_0.0.200902a-2.1_all.deb

  06/01/2021 05:40 837.25 KB
  Télécharger
• prover9-doc_0.0.200902a-2_all.deb

  04/05/2013 11:33 943.98 KB
  Télécharger
• prover9-manual_0.0.200902a-2.1.debian.tar.xz

  06/01/2021 05:40 4.56 KB
  Télécharger
• prover9-manual_0.0.200902a-2.1.dsc

  06/01/2021 05:40 1.93 KB
  Télécharger
• prover9-manual_0.0.200902a-2.debian.tar.gz

  04/05/2013 11:33 4.59 KB
  Télécharger
• prover9-manual_0.0.200902a-2.dsc

  04/05/2013 11:33 1.92 KB
  Télécharger