[ Zdroj: otter ]
Balík: otter (3.3f-1.1 a iné)
Odkazy pre otter
Zdroje Debian:
- Hlásenia chýb
- Informácie pre vývojárov (PTS)
- Záznam zmien Debian
- Autori a licencia
- Debian Patch Tracker
Stiahnuť zdrojový balík otter:
Správca:
Podobné balíky:
resolution-style theorem prover
Ostatné balíky súvisiace s balíkom otter
|
|
|
-
- dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
tiež virtuálny balík poskytovaný balíkom libc0.1-udeb
-
- dep: libc0.3 (>= 2.7) [hurd-i386]
- Embedded GNU C Library: Shared libraries
tiež virtuálny balík poskytovaný balíkom libc0.3-udeb
-
- dep: libc6 (>= 2.11) [powerpcspe]
- Embedded GNU C Library: Shared libraries
tiež virtuálny balík poskytovaný balíkom libc6-udeb
- dep: libc6 (>= 2.13) [s390x, sh4]
- dep: libc6 (>= 2.3.5-1) [hppa, m68k]
- dep: libc6 (>= 2.5) [avr32]
- dep: libc6 (>= 2.7) [amd64, armel, armhf, i386, mips, mipsel, powerpc, s390, sparc, sparc64]
-
- dep: libc6.1 (>= 2.7) [alpha, ia64]
- Embedded GNU C Library: Shared libraries
tiež virtuálny balík poskytovaný balíkom libc6.1-udeb
-
- rec: mace2
- program that searches for finite models of first-order statements
-
- rec: perl
- Larry Wall's Practical Extraction and Report Language
-
- sug: formed
- formula editor for first-order logic formulae
Stiahnuť otter
| Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|---|
| alpha (neoficiálny port) | 3.3f-1.1 | 778.1 kB | 1,366.0 kB | [zoznam súborov] |
| amd64 | 3.3f-1.1 | 767.0 kB | 1,289.0 kB | [zoznam súborov] |
| armel | 3.3f-1.1 | 745.6 kB | 1,760.0 kB | [zoznam súborov] |
| armhf | 3.3f-1.1 | 733.9 kB | 1,168.0 kB | [zoznam súborov] |
| avr32 (neoficiálny port) | 3.3f-1 | 750.1 kB | 1,724.0 kB | [zoznam súborov] |
| hppa | 3.3f-1 | 763.1 kB | 1,796.0 kB | [zoznam súborov] |
| hurd-i386 | 3.3f-1.1 | 759.5 kB | 1,286.0 kB | [zoznam súborov] |
| i386 | 3.3f-1.1 | 759.0 kB | 1,286.0 kB | [zoznam súborov] |
| ia64 | 3.3f-1.1 | 852.4 kB | 1,704.0 kB | [zoznam súborov] |
| kfreebsd-amd64 | 3.3f-1.1 | 766.6 kB | 1,221.0 kB | [zoznam súborov] |
| kfreebsd-i386 | 3.3f-1.1 | 759.0 kB | 1,218.0 kB | [zoznam súborov] |
| m68k (neoficiálny port) | 3.3f-1 | 729.8 kB | 1,744.0 kB | [zoznam súborov] |
| mips | 3.3f-1.1 | 750.9 kB | 1,301.0 kB | [zoznam súborov] |
| mipsel | 3.3f-1.1 | 751.3 kB | 1,301.0 kB | [zoznam súborov] |
| powerpc | 3.3f-1.1 | 757.8 kB | 1,282.0 kB | [zoznam súborov] |
| powerpcspe (neoficiálny port) | 3.3f-1+b100 | 755.3 kB | 1,800.0 kB | [zoznam súborov] |
| s390 | 3.3f-1.1 | 761.1 kB | 1,293.0 kB | [zoznam súborov] |
| s390x | 3.3f-1.1 | 766.9 kB | 1,332.0 kB | [zoznam súborov] |
| sh4 (neoficiálny port) | 3.3f-1.1 | 758.5 kB | 1,257.0 kB | [zoznam súborov] |
| sparc | 3.3f-1.1 | 747.6 kB | 1,270.0 kB | [zoznam súborov] |
| sparc64 (neoficiálny port) | 3.3f-1.1 | 744.6 kB | 1,193.0 kB | [zoznam súborov] |