[ Источник: otter ]
Пакет: otter (3.3f-1.1 и другие)
Ссылки для otter
Ресурсы Debian:
- Сообщения об ошибках
- Информация разработчика (PTS)
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код otter:
Сопровождающий:
Подобные пакеты:
resolution-style theorem prover
Другие пакеты, относящиеся к otter
|
|
|
-
- dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]
- Embedded GNU C Library: Shared libraries
также виртуальный пакет, предоставляемый libc0.1-udeb
-
- dep: libc0.3 (>= 2.7) [hurd-i386]
- Embedded GNU C Library: Shared libraries
также виртуальный пакет, предоставляемый libc0.3-udeb
-
- dep: libc6 (>= 2.11) [powerpcspe]
- Embedded GNU C Library: Shared libraries
также виртуальный пакет, предоставляемый 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
также виртуальный пакет, предоставляемый 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
Загрузка otter
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| alpha (неофициальный перенос) | 3.3f-1.1 | 778,1 Кб | 1 366,0 Кб | [список файлов] |
| amd64 | 3.3f-1.1 | 767,0 Кб | 1 289,0 Кб | [список файлов] |
| armel | 3.3f-1.1 | 745,6 Кб | 1 760,0 Кб | [список файлов] |
| armhf | 3.3f-1.1 | 733,9 Кб | 1 168,0 Кб | [список файлов] |
| avr32 (неофициальный перенос) | 3.3f-1 | 750,1 Кб | 1 724,0 Кб | [список файлов] |
| hppa | 3.3f-1 | 763,1 Кб | 1 796,0 Кб | [список файлов] |
| hurd-i386 | 3.3f-1.1 | 759,5 Кб | 1 286,0 Кб | [список файлов] |
| i386 | 3.3f-1.1 | 759,0 Кб | 1 286,0 Кб | [список файлов] |
| ia64 | 3.3f-1.1 | 852,4 Кб | 1 704,0 Кб | [список файлов] |
| kfreebsd-amd64 | 3.3f-1.1 | 766,6 Кб | 1 221,0 Кб | [список файлов] |
| kfreebsd-i386 | 3.3f-1.1 | 759,0 Кб | 1 218,0 Кб | [список файлов] |
| m68k (неофициальный перенос) | 3.3f-1 | 729,8 Кб | 1 744,0 Кб | [список файлов] |
| mips | 3.3f-1.1 | 750,9 Кб | 1 301,0 Кб | [список файлов] |
| mipsel | 3.3f-1.1 | 751,3 Кб | 1 301,0 Кб | [список файлов] |
| powerpc | 3.3f-1.1 | 757,8 Кб | 1 282,0 Кб | [список файлов] |
| powerpcspe (неофициальный перенос) | 3.3f-1+b100 | 755,3 Кб | 1 800,0 Кб | [список файлов] |
| s390 | 3.3f-1.1 | 761,1 Кб | 1 293,0 Кб | [список файлов] |
| s390x | 3.3f-1.1 | 766,9 Кб | 1 332,0 Кб | [список файлов] |
| sh4 (неофициальный перенос) | 3.3f-1.1 | 758,5 Кб | 1 257,0 Кб | [список файлов] |
| sparc | 3.3f-1.1 | 747,6 Кб | 1 270,0 Кб | [список файлов] |
| sparc64 (неофициальный перенос) | 3.3f-1.1 | 744,6 Кб | 1 193,0 Кб | [список файлов] |