[ Source: spass ]
Paketti: spass (3.7-3 ja muut)
Links for spass
Debian-palvelut:
Imuroi lähdekoodipaketti spass:
Ylläpitäjä:
Samankaltaisia paketteja:
An automated theorem prover for first-order logic with equality
Muut pakettiin spass liittyvät paketit
|
|
|
-
- dep: dpkg (>= 1.15.4) [ei avr32, m68k]
- Debian package management system
- tai install-info
- Manage installed documentation in info format
-
- dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc0.1-udeb
-
- dep: libc0.3 (>= 2.13) [hurd-i386]
- Embedded GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa libc0.3-udeb
-
- dep: libc6 (>= 2.11) [hppa]
- Embedded GNU C Library: Shared libraries
myös näennäispaketti, jonka toteuttaa 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
myös näennäispaketti, jonka toteuttaa libc6.1-udeb
- dep: libc6.1 (>= 2.4) [alpha]
Imuroi spass
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| alpha (epävirallinen siirros) | 3.7-3 | 2,378.7 kt | 5,064.0 kt | [tiedostoluettelo] |
| amd64 | 3.7-3 | 2,213.3 kt | 4,304.0 kt | [tiedostoluettelo] |
| armel | 3.7-3 | 2,022.3 kt | 3,864.0 kt | [tiedostoluettelo] |
| armhf | 3.7-3 | 1,936.0 kt | 3,053.0 kt | [tiedostoluettelo] |
| avr32 (epävirallinen siirros) | 2.1-4 | 1,205.0 kt | 2,008.0 kt | [tiedostoluettelo] |
| hppa | 3.7-2 | 2,231.0 kt | 4,176.0 kt | [tiedostoluettelo] |
| hurd-i386 | 3.7-3 | 2,083.6 kt | 4,180.0 kt | [tiedostoluettelo] |
| i386 | 3.7-3 | 2,085.3 kt | 4,180.0 kt | [tiedostoluettelo] |
| ia64 | 3.7-3 | 3,015.3 kt | 7,940.0 kt | [tiedostoluettelo] |
| kfreebsd-amd64 | 3.7-3 | 2,213.3 kt | 4,396.0 kt | [tiedostoluettelo] |
| kfreebsd-i386 | 3.7-3 | 2,082.9 kt | 4,252.0 kt | [tiedostoluettelo] |
| m68k (epävirallinen siirros) | 2.1-4 | 1,113.6 kt | 2,600.0 kt | [tiedostoluettelo] |
| mips | 3.7-3 | 2,028.1 kt | 4,320.0 kt | [tiedostoluettelo] |
| mipsel | 3.7-3 | 2,033.9 kt | 4,320.0 kt | [tiedostoluettelo] |
| powerpc | 3.7-3 | 2,076.6 kt | 4,156.0 kt | [tiedostoluettelo] |
| powerpcspe (epävirallinen siirros) | 3.7-3 | 2,191.4 kt | 4,360.0 kt | [tiedostoluettelo] |
| s390 | 3.7-3 | 2,125.0 kt | 4,252.0 kt | [tiedostoluettelo] |
| s390x | 3.7-3 | 2,250.4 kt | 4,610.0 kt | [tiedostoluettelo] |
| sh4 (epävirallinen siirros) | 3.7-3 | 2,078.2 kt | 3,840.0 kt | [tiedostoluettelo] |
| sparc | 3.7-3 | 2,047.6 kt | 4,024.0 kt | [tiedostoluettelo] |
| sparc64 (epävirallinen siirros) | 3.7-3 | 2,087.9 kt | 4,176.0 kt | [tiedostoluettelo] |