Alle Optionen
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Quellcode-Paket: spass (3.7-3)

Links für spass

Debian-Ressourcen:

Betreuer:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
spass
An automated theorem prover for first-order logic with equality

Andere Pakete mit Bezug zu spass

  • build-depends
  • build-depends-indep

Download spass

DateiGröße (in kB)MD5-Prüfsumme
spass_3.7-3.dsc 0,9 kB b0252fcdfa058ce061e063efce1a4280
spass_3.7.orig.tar.gz 1.309,5 kB 6505f4f3ad91cc289d9dd73889ebb304
spass_3.7-3.debian.tar.gz 3,4 kB 8f606e0965763e8e8dc4e83e9d020464