toutes les options
lenny  ] [  squeeze  ] [  wheezy  ] [  sid  ]
[ Paquet source : spass  ]

Paquet : spass (3.7-3 et autres)

Liens pour spass

Screenshot

Ressources Debian :

Télécharger le paquet source spass :

Responsable :

Paquets similaires :

An automated theorem prover for first-order logic with equality

Autres paquets associés à spass

  • dépendances
  • recommandations
  • suggestions

Télécharger spass

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
alpha (portage non officiel) 3.7-3 2 378,7 ko5 064,0 ko [liste des fichiers]
amd64 3.7-3 2 213,3 ko4 304,0 ko [liste des fichiers]
armel 3.7-3 2 022,3 ko3 864,0 ko [liste des fichiers]
armhf 3.7-3 1 936,0 ko3 053,0 ko [liste des fichiers]
avr32 (portage non officiel) 2.1-4 1 205,0 ko2 008,0 ko [liste des fichiers]
hppa 3.7-2 2 231,0 ko4 176,0 ko [liste des fichiers]
hurd-i386 3.7-3 2 083,6 ko4 180,0 ko [liste des fichiers]
i386 3.7-3 2 085,3 ko4 180,0 ko [liste des fichiers]
ia64 3.7-3 3 015,3 ko7 940,0 ko [liste des fichiers]
kfreebsd-amd64 3.7-3 2 213,3 ko4 396,0 ko [liste des fichiers]
kfreebsd-i386 3.7-3 2 082,9 ko4 252,0 ko [liste des fichiers]
m68k (portage non officiel) 2.1-4 1 113,6 ko2 600,0 ko [liste des fichiers]
mips 3.7-3 2 028,1 ko4 320,0 ko [liste des fichiers]
mipsel 3.7-3 2 033,9 ko4 320,0 ko [liste des fichiers]
powerpc 3.7-3 2 076,6 ko4 156,0 ko [liste des fichiers]
powerpcspe (portage non officiel) 3.7-3 2 191,4 ko4 360,0 ko [liste des fichiers]
s390 3.7-3 2 125,0 ko4 252,0 ko [liste des fichiers]
s390x 3.7-3 2 250,4 ko4 610,0 ko [liste des fichiers]
sh4 (portage non officiel) 3.7-3 2 078,2 ko3 840,0 ko [liste des fichiers]
sparc 3.7-3 2 047,6 ko4 024,0 ko [liste des fichiers]
sparc64 (portage non officiel) 3.7-3 2 087,9 ko4 176,0 ko [liste des fichiers]