[ Paquet source : spass ]
Paquet : spass (3.7-3 et autres)
Liens pour spass
Ressources Debian :
- Rapports de bogues
- Informations pour les développeurs (PTS)
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour 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
|
|
|
-
- dep: dpkg (>= 1.15.4) [non avr32, m68k]
- Debian package management system
- ou install-info
- Manage installed documentation in info format
-
- dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc0.1-udeb
-
- dep: libc0.3 (>= 2.13) [hurd-i386]
- Embedded GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc0.3-udeb
-
- dep: libc6 (>= 2.11) [hppa]
- Embedded GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6-udeb
- dep: libc6 (>= 2.13) [s390x, sh4]
- dep: libc6 (>= 2.3) [amd64, i386, mips, mipsel, sparc64]
- dep: libc6 (>= 2.4) [armel, armhf, powerpc, powerpcspe, s390]
- dep: libc6 (>= 2.5) [avr32]
- dep: libc6 (>= 2.5-5) [m68k]
- dep: libc6 (>= 2.6) [sparc]
-
- dep: libc6.1 (>= 2.3) [ia64]
- Embedded GNU C Library: Shared libraries
un paquet virtuel est également fourni par libc6.1-udeb
- dep: libc6.1 (>= 2.4) [alpha]
Télécharger spass
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| alpha (portage non officiel) | 3.7-3 | 2 378,7 ko | 5 064,0 ko | [liste des fichiers] |
| amd64 | 3.7-3 | 2 213,3 ko | 4 304,0 ko | [liste des fichiers] |
| armel | 3.7-3 | 2 022,3 ko | 3 864,0 ko | [liste des fichiers] |
| armhf | 3.7-3 | 1 936,0 ko | 3 053,0 ko | [liste des fichiers] |
| avr32 (portage non officiel) | 2.1-4 | 1 205,0 ko | 2 008,0 ko | [liste des fichiers] |
| hppa | 3.7-2 | 2 231,0 ko | 4 176,0 ko | [liste des fichiers] |
| hurd-i386 | 3.7-3 | 2 083,6 ko | 4 180,0 ko | [liste des fichiers] |
| i386 | 3.7-3 | 2 085,3 ko | 4 180,0 ko | [liste des fichiers] |
| ia64 | 3.7-3 | 3 015,3 ko | 7 940,0 ko | [liste des fichiers] |
| kfreebsd-amd64 | 3.7-3 | 2 213,3 ko | 4 396,0 ko | [liste des fichiers] |
| kfreebsd-i386 | 3.7-3 | 2 082,9 ko | 4 252,0 ko | [liste des fichiers] |
| m68k (portage non officiel) | 2.1-4 | 1 113,6 ko | 2 600,0 ko | [liste des fichiers] |
| mips | 3.7-3 | 2 028,1 ko | 4 320,0 ko | [liste des fichiers] |
| mipsel | 3.7-3 | 2 033,9 ko | 4 320,0 ko | [liste des fichiers] |
| powerpc | 3.7-3 | 2 076,6 ko | 4 156,0 ko | [liste des fichiers] |
| powerpcspe (portage non officiel) | 3.7-3 | 2 191,4 ko | 4 360,0 ko | [liste des fichiers] |
| s390 | 3.7-3 | 2 125,0 ko | 4 252,0 ko | [liste des fichiers] |
| s390x | 3.7-3 | 2 250,4 ko | 4 610,0 ko | [liste des fichiers] |
| sh4 (portage non officiel) | 3.7-3 | 2 078,2 ko | 3 840,0 ko | [liste des fichiers] |
| sparc | 3.7-3 | 2 047,6 ko | 4 024,0 ko | [liste des fichiers] |
| sparc64 (portage non officiel) | 3.7-3 | 2 087,9 ko | 4 176,0 ko | [liste des fichiers] |