toutes les options
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

Paquet source : spass (3.7-3)

Liens pour spass

Ressources Debian :

Responsable :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
spass
An automated theorem prover for first-order logic with equality

Autres paquets associés à spass

  • build-depends
  • build-depends-indep

Download spass

FichierTaille (en ko)Somme MD5
spass_3.7-3.dsc 0,9 ko b0252fcdfa058ce061e063efce1a4280
spass_3.7.orig.tar.gz 1 309,5 ko 6505f4f3ad91cc289d9dd73889ebb304
spass_3.7-3.debian.tar.gz 3,4 ko 8f606e0965763e8e8dc4e83e9d020464