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

[ Källkod: acl2  ]

Computational Logic for Applicative Common Lisp: infix interface

Andra paket besläktade med acl2-infix

• 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: tetex-extra [m68k]

  Paketet inte tillgängligt

• dep: texlive-latex-recommended [ej m68k]

  TeX Live: LaTeX recommended packages

• rec: acl2-infix-source (= 3.1-1) [m68k]

  Computational Logic for Applicative Common Lisp: infix source

  rec: acl2-infix-source (= 4.1-5) [hppa, powerpcspe, sparc64]

  rec: acl2-infix-source (= 4.2-1) [sh4]

  rec: acl2-infix-source (= 4.3-2) [ej hppa, m68k, powerpcspe, sh4, sparc64]

Hämta acl2-infix

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	4.3-2	243,4 kbyte	1.193,0 kbyte	[filförteckning]
amd64	4.3-2	199,0 kbyte	1.005,0 kbyte	[filförteckning]
armel	4.3-2	370,7 kbyte	1.116,0 kbyte	[filförteckning]
armhf	4.3-2	400,5 kbyte	1.197,0 kbyte	[filförteckning]
hppa	4.1-5	497,0 kbyte	1.384,0 kbyte	[filförteckning]
hurd-i386	4.3-2	178,1 kbyte	639,0 kbyte	[filförteckning]
i386	4.3-2	178,2 kbyte	639,0 kbyte	[filförteckning]
ia64	4.3-2	256,4 kbyte	1.548,0 kbyte	[filförteckning]
kfreebsd-amd64	4.3-2	198,9 kbyte	1.013,0 kbyte	[filförteckning]
kfreebsd-i386	4.3-2	178,1 kbyte	579,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	3.1-1	191,1 kbyte	772,0 kbyte	[filförteckning]
mips	4.3-2	226,1 kbyte	792,0 kbyte	[filförteckning]
mipsel	4.3-2	212,6 kbyte	792,0 kbyte	[filförteckning]
powerpc	4.3-2	218,3 kbyte	779,0 kbyte	[filförteckning]
powerpcspe (inofficiell anpassning)	4.1-5	511,8 kbyte	1.440,0 kbyte	[filförteckning]
s390	4.3-2	166,5 kbyte	548,0 kbyte	[filförteckning]
s390x	4.3-2	189,3 kbyte	875,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	4.2-1	417,3 kbyte	1.184,0 kbyte	[filförteckning]
sparc	4.3-2	211,8 kbyte	724,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	4.1-5+b1	481,8 kbyte	2.064,0 kbyte	[filförteckning]