все параметры
lenny  ] [  squeeze  ] [  wheezy  ] [  sid  ]
[ Источник: otter  ]

Пакет: otter (3.3f-1.1 и другие)

Ссылки для otter

Screenshot

Ресурсы Debian:

Исходный код otter:

Сопровождающий:

Подобные пакеты:

resolution-style theorem prover

Другие пакеты, относящиеся к otter

  • зависимости
  • рекомендации
  • предложения

Загрузка 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 Кб [список файлов]