[ Källkod: spass ]
Paket: spass (3.7-3 och andra)
Länkar för spass
Debianresurser:
- Felrapporter
- Utvecklarinformation (PTS)
- Ändringslogg för Debian
- Upphovsrättsfil
- Debian Patch Tracker
Hämta källkodspaketet spass:
Ansvarig:
Liknande paket:
An automated theorem prover for first-order logic with equality
Andra paket besläktade med spass
|
|
|
-
- dep: dpkg (>= 1.15.4) [ej avr32, m68k]
- Debian package management system
- eller install-info
- Manage installed documentation in info format
-
- dep: libc0.1 (>= 2.3) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
också ett virtuellt paket som tillhandahålls av libc0.1-udeb
-
- dep: libc0.3 (>= 2.13) [hurd-i386]
- Embedded GNU C Library: Shared libraries
också ett virtuellt paket som tillhandahålls av libc0.3-udeb
-
- dep: libc6 (>= 2.11) [hppa]
- Embedded GNU C Library: Shared libraries
också ett virtuellt paket som tillhandahålls av 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
också ett virtuellt paket som tillhandahålls av libc6.1-udeb
- dep: libc6.1 (>= 2.4) [alpha]
Hämta spass
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| alpha (inofficiell anpassning) | 3.7-3 | 2.378,7 kbyte | 5.064,0 kbyte | [filförteckning] |
| amd64 | 3.7-3 | 2.213,3 kbyte | 4.304,0 kbyte | [filförteckning] |
| armel | 3.7-3 | 2.022,3 kbyte | 3.864,0 kbyte | [filförteckning] |
| armhf | 3.7-3 | 1.936,0 kbyte | 3.053,0 kbyte | [filförteckning] |
| avr32 (inofficiell anpassning) | 2.1-4 | 1.205,0 kbyte | 2.008,0 kbyte | [filförteckning] |
| hppa | 3.7-2 | 2.231,0 kbyte | 4.176,0 kbyte | [filförteckning] |
| hurd-i386 | 3.7-3 | 2.083,6 kbyte | 4.180,0 kbyte | [filförteckning] |
| i386 | 3.7-3 | 2.085,3 kbyte | 4.180,0 kbyte | [filförteckning] |
| ia64 | 3.7-3 | 3.015,3 kbyte | 7.940,0 kbyte | [filförteckning] |
| kfreebsd-amd64 | 3.7-3 | 2.213,3 kbyte | 4.396,0 kbyte | [filförteckning] |
| kfreebsd-i386 | 3.7-3 | 2.082,9 kbyte | 4.252,0 kbyte | [filförteckning] |
| m68k (inofficiell anpassning) | 2.1-4 | 1.113,6 kbyte | 2.600,0 kbyte | [filförteckning] |
| mips | 3.7-3 | 2.028,1 kbyte | 4.320,0 kbyte | [filförteckning] |
| mipsel | 3.7-3 | 2.033,9 kbyte | 4.320,0 kbyte | [filförteckning] |
| powerpc | 3.7-3 | 2.076,6 kbyte | 4.156,0 kbyte | [filförteckning] |
| powerpcspe (inofficiell anpassning) | 3.7-3 | 2.191,4 kbyte | 4.360,0 kbyte | [filförteckning] |
| s390 | 3.7-3 | 2.125,0 kbyte | 4.252,0 kbyte | [filförteckning] |
| s390x | 3.7-3 | 2.250,4 kbyte | 4.610,0 kbyte | [filförteckning] |
| sh4 (inofficiell anpassning) | 3.7-3 | 2.078,2 kbyte | 3.840,0 kbyte | [filförteckning] |
| sparc | 3.7-3 | 2.047,6 kbyte | 4.024,0 kbyte | [filförteckning] |
| sparc64 (inofficiell anpassning) | 3.7-3 | 2.087,9 kbyte | 4.176,0 kbyte | [filförteckning] |