Paket: acl2-books (4.3-2 och andra)

[ Källkod: acl2  ]

Computational Logic for Applicative Common Lisp: compiled libraries

Andra paket besläktade med 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) [ej 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) [ej 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) [ej hppa, m68k, powerpcspe, sh4, sparc64]

Hämta acl2-books

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	4.3-2	19.851,1 kbyte	98.998,0 kbyte	[filförteckning]
amd64	4.3-2	15.507,4 kbyte	82.447,0 kbyte	[filförteckning]
armel	4.3-2	37.155,2 kbyte	113.301,0 kbyte	[filförteckning]
armhf	4.3-2	37.434,3 kbyte	110.476,0 kbyte	[filförteckning]
hppa	4.1-5	43.587,5 kbyte	127.636,0 kbyte	[filförteckning]
hurd-i386	4.3-2	13.241,4 kbyte	54.035,0 kbyte	[filförteckning]
i386	4.3-2	13.569,9 kbyte	54.028,0 kbyte	[filförteckning]
ia64	4.3-2	18.601,8 kbyte	109.844,0 kbyte	[filförteckning]
kfreebsd-amd64	4.3-2	15.440,6 kbyte	82.096,0 kbyte	[filförteckning]
kfreebsd-i386	4.3-2	13.213,9 kbyte	53.028,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	3.1-1	1.590,4 kbyte	12.408,0 kbyte	[filförteckning]
mips	4.3-2	16.547,6 kbyte	63.485,0 kbyte	[filförteckning]
mipsel	4.3-2	15.804,4 kbyte	63.485,0 kbyte	[filförteckning]
powerpc	4.3-2	15.542,2 kbyte	62.918,0 kbyte	[filförteckning]
powerpcspe (inofficiell anpassning)	4.1-5	42.848,2 kbyte	127.408,0 kbyte	[filförteckning]
s390	4.3-2	13.359,2 kbyte	52.676,0 kbyte	[filförteckning]
s390x	4.3-2	15.162,9 kbyte	74.114,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	4.2-1	37.852,1 kbyte	121.672,0 kbyte	[filförteckning]
sparc	4.3-2	15.178,6 kbyte	59.318,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	4.1-5+b1	39.390,7 kbyte	171.752,0 kbyte	[filförteckning]