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

Пакет: acl2-books (4.3-2 и другие)

Ссылки для acl2-books

Screenshot

Ресурсы Debian:

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

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

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

Computational Logic for Applicative Common Lisp: compiled libraries

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

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

Загрузка acl2-books

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
alpha (неофициальный перенос) 4.3-2 19 851,1 Кб98 998,0 Кб [список файлов]
amd64 4.3-2 15 507,4 Кб82 447,0 Кб [список файлов]
armel 4.3-2 37 155,2 Кб113 301,0 Кб [список файлов]
armhf 4.3-2 37 434,3 Кб110 476,0 Кб [список файлов]
hppa 4.1-5 43 587,5 Кб127 636,0 Кб [список файлов]
hurd-i386 4.3-2 13 241,4 Кб54 035,0 Кб [список файлов]
i386 4.3-2 13 569,9 Кб54 028,0 Кб [список файлов]
ia64 4.3-2 18 601,8 Кб109 844,0 Кб [список файлов]
kfreebsd-amd64 4.3-2 15 440,6 Кб82 096,0 Кб [список файлов]
kfreebsd-i386 4.3-2 13 213,9 Кб53 028,0 Кб [список файлов]
m68k (неофициальный перенос) 3.1-1 1 590,4 Кб12 408,0 Кб [список файлов]
mips 4.3-2 16 547,6 Кб63 485,0 Кб [список файлов]
mipsel 4.3-2 15 804,4 Кб63 485,0 Кб [список файлов]
powerpc 4.3-2 15 542,2 Кб62 918,0 Кб [список файлов]
powerpcspe (неофициальный перенос) 4.1-5 42 848,2 Кб127 408,0 Кб [список файлов]
s390 4.3-2 13 359,2 Кб52 676,0 Кб [список файлов]
s390x 4.3-2 15 162,9 Кб74 114,0 Кб [список файлов]
sh4 (неофициальный перенос) 4.2-1 37 852,1 Кб121 672,0 Кб [список файлов]
sparc 4.3-2 15 178,6 Кб59 318,0 Кб [список файлов]
sparc64 (неофициальный перенос) 4.1-5+b1 39 390,7 Кб171 752,0 Кб [список файлов]