Şu takıma sınırla: [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [trixie-updates] [trixie-backports] [forky] [sid] [experimental]
Mimariye sınırla: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [loong64] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
tüm takımlar takımının tüm bölümler bölümlerinde ve tüm mimariler mimarilerinde, acl2 sözünü barındıran paketler aradınız 15 eşleşen paket bulundu.
Tam eşleşmeler
acl2 Paketi
- bullseye (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: main binary
8.3dfsg-2: amd64 arm64 armhf i386 - bookworm (oldstable) (math):
Computational Logic for Applicative Common Lisp: main binary
8.5dfsg-5: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x - trixie (stable) (math):
Computational Logic for Applicative Common Lisp: main binary
8.6+dfsg-2: amd64 arm64 armel armhf i386 ppc64el riscv64 s390x - forky (testing) (math):
Computational Logic for Applicative Common Lisp: main binary
8.6+dfsg-3: amd64 arm64 armhf i386 ppc64el riscv64 s390x - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: main binary
8.6+dfsg-3: amd64 arm64 armel armhf hppa i386 loong64 mips64el ppc64 ppc64el riscv64 s390x sparc64 x32
8.5dfsg-2 [debports]: m68k
8.4dfsg-2 [debports]: alpha sh4
Diğer eşleşmeler
acl2-books Paketi
- bullseye (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: compiled libraries
8.3dfsg-2: amd64 arm64 armhf i386 - bookworm (oldstable) (math):
Computational Logic for Applicative Common Lisp: compiled libraries
8.5dfsg-5: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x - trixie (stable) (math):
Computational Logic for Applicative Common Lisp: compiled libraries
8.6+dfsg-2: amd64 arm64 armel armhf i386 ppc64el riscv64 s390x - forky (testing) (math):
Computational Logic for Applicative Common Lisp: compiled libraries
8.6+dfsg-3: amd64 arm64 armhf i386 ppc64el riscv64 s390x - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: compiled libraries
8.6+dfsg-3: amd64 arm64 armel armhf hppa i386 loong64 mips64el ppc64 ppc64el riscv64 s390x sparc64 x32
8.5dfsg-2 [debports]: m68k
8.4dfsg-2 [debports]: alpha sh4
acl2-books-certs Paketi
- bullseye (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: library certificates
8.3dfsg-2: all - bookworm (oldstable) (math):
Computational Logic for Applicative Common Lisp: library certificates
8.5dfsg-5: all - trixie (stable) (math):
Computational Logic for Applicative Common Lisp: library certificates
8.6+dfsg-2: all - forky (testing) (math):
Computational Logic for Applicative Common Lisp: library certificates
8.6+dfsg-3: all - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: library certificates
8.6+dfsg-3: all
acl2-books-source Paketi
- bullseye (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: library sources
8.3dfsg-2: all - bookworm (oldstable) (math):
Computational Logic for Applicative Common Lisp: library sources
8.5dfsg-5: all - trixie (stable) (math):
Computational Logic for Applicative Common Lisp: library sources
8.6+dfsg-2: all - forky (testing) (math):
Computational Logic for Applicative Common Lisp: library sources
8.6+dfsg-3: all - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: library sources
8.6+dfsg-3: all
acl2-doc Paketi
- bullseye (oldoldstable) (doc):
Computational Logic for Applicative Common Lisp: documentation
8.3dfsg-2: all - bookworm (oldstable) (doc):
Computational Logic for Applicative Common Lisp: documentation
8.5dfsg-5: all - trixie (stable) (doc):
Computational Logic for Applicative Common Lisp: documentation
8.6+dfsg-2: all - forky (testing) (doc):
Computational Logic for Applicative Common Lisp: documentation
8.6+dfsg-3: all - sid (unstable) (doc):
Computational Logic for Applicative Common Lisp: documentation
8.6+dfsg-3: all
acl2-emacs Paketi
- bullseye (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: emacs interface
8.3dfsg-2: all
acl2-infix Paketi
- bullseye (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: infix interface
8.3dfsg-2: amd64 arm64 armhf i386 - bookworm (oldstable) (math):
Computational Logic for Applicative Common Lisp: infix interface
8.5dfsg-5: amd64 arm64 armel armhf i386 mips64el mipsel ppc64el s390x - trixie (stable) (math):
Computational Logic for Applicative Common Lisp: infix interface
8.6+dfsg-2: amd64 arm64 armel armhf i386 ppc64el riscv64 s390x - forky (testing) (math):
Computational Logic for Applicative Common Lisp: infix interface
8.6+dfsg-3: amd64 arm64 armhf i386 ppc64el riscv64 s390x - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: infix interface
8.6+dfsg-3: amd64 arm64 armel armhf hppa i386 loong64 mips64el ppc64 ppc64el riscv64 s390x sparc64 x32
8.5dfsg-2 [debports]: m68k
8.4dfsg-2 [debports]: alpha sh4
acl2-infix-source Paketi
- bullseye (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: infix source
8.3dfsg-2: all - bookworm (oldstable) (math):
Computational Logic for Applicative Common Lisp: infix source
8.5dfsg-5: all - trixie (stable) (math):
Computational Logic for Applicative Common Lisp: infix source
8.6+dfsg-2: all - forky (testing) (math):
Computational Logic for Applicative Common Lisp: infix source
8.6+dfsg-3: all - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: infix source
8.6+dfsg-3: all
acl2-source Paketi
- bullseye (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: source files
8.3dfsg-2: all - bookworm (oldstable) (math):
Computational Logic for Applicative Common Lisp: source files
8.5dfsg-5: all - trixie (stable) (math):
Computational Logic for Applicative Common Lisp: source files
8.6+dfsg-2: all - forky (testing) (math):
Computational Logic for Applicative Common Lisp: source files
8.6+dfsg-3: all - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: source files
8.6+dfsg-3: all
elpa-acl2 Paketi
- bookworm (oldstable) (lisp):
Computational Logic for Applicative Common Lisp: emacs interface
8.5dfsg-5: all - trixie (stable) (lisp):
Computational Logic for Applicative Common Lisp: emacs interface
8.6+dfsg-2: all - forky (testing) (lisp):
Computational Logic for Applicative Common Lisp: emacs interface
8.6+dfsg-3: all - sid (unstable) (lisp):
Computational Logic for Applicative Common Lisp: emacs interface
8.6+dfsg-3: all
librte-acl21 Paketi
- bullseye (oldoldstable) (libs):
Data Plane Development Kit (librte-acl runtime library)
20.11.10-1~deb11u1: amd64 arm64 armhf i386
librte-acl23 Paketi
- bookworm (oldstable) (libs):
Data Plane Development Kit (librte-acl runtime library)
22.11.9-1~deb12u1: amd64 arm64 i386 ppc64el - sid (unstable) (libs):
Data Plane Development Kit (librte-acl runtime library)
22.11.2-3 [debports]: riscv64
librte-acl23-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for librte-acl23
22.11.2-3 [debports]: riscv64
librte-acl25 Paketi
- trixie (stable) (libs):
Data Plane Development Kit (librte-acl runtime library)
24.11.3-1~deb13u1: amd64 arm64 ppc64el riscv64 - forky (testing) (libs):
Data Plane Development Kit (librte-acl runtime library)
24.11.3-1: amd64 arm64 ppc64el riscv64 - sid (unstable) (libs):
Data Plane Development Kit (librte-acl runtime library)
24.11.3-2: amd64 arm64 loong64 ppc64el riscv64
librte-acl25-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for librte-acl25
24.11.3-2 [debports]: loong64