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

[ Источник: acl2  ]

Computational Logic for Applicative Common Lisp: compiled libraries

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

• dep: acl2 (= 3.1-1) [m68k]

  Computational Logic for Applicative Common Lisp: main binary

  dep: acl2 (= 4.1-5) [hppa, powerpcspe]

  dep: acl2 (= 4.1-5+b1) [sparc64]

  dep: acl2 (= 4.2-1) [sh4]

  dep: acl2 (= 4.3-2) [не hppa, m68k, powerpcspe, sh4, sparc64]

• dep: acl2-books-certs (= 3.1-1) [m68k]

  Computational Logic for Applicative Common Lisp: library certificates

  dep: acl2-books-certs (= 4.1-5) [hppa, powerpcspe, sparc64]

  dep: acl2-books-certs (= 4.2-1) [sh4]

  dep: acl2-books-certs (= 4.3-2) [не hppa, m68k, powerpcspe, sh4, sparc64]

• dep: acl2-books-source (= 3.1-1) [m68k]

  Computational Logic for Applicative Common Lisp: library sources

  dep: acl2-books-source (= 4.1-5) [hppa, powerpcspe, sparc64]

  dep: acl2-books-source (= 4.2-1) [sh4]

  dep: acl2-books-source (= 4.3-2) [не hppa, m68k, powerpcspe, sh4, sparc64]

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