Şu takıma sınırla: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Mimariye sınırla: [alpha] [amd64] [arm] [arm64] [armel] [armhf] [avr32] [hppa] [hurd-i386] [i386] [ia64] [kfreebsd-amd64] [kfreebsd-i386] [m68k] [mips] [mips64el] [mipsel] [powerpc] [powerpcspe] [ppc64] [ppc64el] [riscv64] [s390] [s390x] [sh4] [sparc] [sparc64] [x32]
Tüm mimarilerde ara
Bazı sonuçlar arama parametrelerinden dolayı görüntülenemedi.
tüm takımlar takımının tüm bölümler bölümlerinde ve mimari(ler) arm64 mimarilerinde, acl2 sözünü barındıran paketler aradınız 13 eşleşen paket bulundu.
Tam eşleşmeler
acl2 Paketi
- buster (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: main binary
8.0dfsg-1: arm64 - bullseye (oldstable) (math):
Computational Logic for Applicative Common Lisp: main binary
8.3dfsg-2: arm64 - bookworm (stable) (math):
Computational Logic for Applicative Common Lisp: main binary
8.5dfsg-5: arm64 - trixie (testing) (math):
Computational Logic for Applicative Common Lisp: main binary
8.5dfsg-5+b1: arm64 - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: main binary
8.5dfsg-5+b1: arm64
Diğer eşleşmeler
acl2-books Paketi
- buster (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: compiled libraries
8.0dfsg-1: arm64 - bullseye (oldstable) (math):
Computational Logic for Applicative Common Lisp: compiled libraries
8.3dfsg-2: arm64 - bookworm (stable) (math):
Computational Logic for Applicative Common Lisp: compiled libraries
8.5dfsg-5: arm64 - trixie (testing) (math):
Computational Logic for Applicative Common Lisp: compiled libraries
8.5dfsg-5+b1: arm64 - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: compiled libraries
8.5dfsg-5+b1: arm64
acl2-books-certs Paketi
- buster (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: library certificates
8.0dfsg-1: all - bullseye (oldstable) (math):
Computational Logic for Applicative Common Lisp: library certificates
8.3dfsg-2: all - bookworm (stable) (math):
Computational Logic for Applicative Common Lisp: library certificates
8.5dfsg-5: all - trixie (testing) (math):
Computational Logic for Applicative Common Lisp: library certificates
8.5dfsg-5: all - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: library certificates
8.5dfsg-5: all
acl2-books-source Paketi
- buster (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: library sources
8.0dfsg-1: all - bullseye (oldstable) (math):
Computational Logic for Applicative Common Lisp: library sources
8.3dfsg-2: all - bookworm (stable) (math):
Computational Logic for Applicative Common Lisp: library sources
8.5dfsg-5: all - trixie (testing) (math):
Computational Logic for Applicative Common Lisp: library sources
8.5dfsg-5: all - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: library sources
8.5dfsg-5: all
acl2-doc Paketi
- buster (oldoldstable) (doc):
Computational Logic for Applicative Common Lisp: documentation
8.0dfsg-1: all - bullseye (oldstable) (doc):
Computational Logic for Applicative Common Lisp: documentation
8.3dfsg-2: all - bookworm (stable) (doc):
Computational Logic for Applicative Common Lisp: documentation
8.5dfsg-5: all - trixie (testing) (doc):
Computational Logic for Applicative Common Lisp: documentation
8.5dfsg-5: all - sid (unstable) (doc):
Computational Logic for Applicative Common Lisp: documentation
8.5dfsg-5: all
acl2-emacs Paketi
- buster (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: emacs interface
8.0dfsg-1: all - bullseye (oldstable) (math):
Computational Logic for Applicative Common Lisp: emacs interface
8.3dfsg-2: all
acl2-infix Paketi
- buster (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: infix interface
8.0dfsg-1: arm64 - bullseye (oldstable) (math):
Computational Logic for Applicative Common Lisp: infix interface
8.3dfsg-2: arm64 - bookworm (stable) (math):
Computational Logic for Applicative Common Lisp: infix interface
8.5dfsg-5: arm64 - trixie (testing) (math):
Computational Logic for Applicative Common Lisp: infix interface
8.5dfsg-5+b1: arm64 - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: infix interface
8.5dfsg-5+b1: arm64
acl2-infix-source Paketi
- buster (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: infix source
8.0dfsg-1: all - bullseye (oldstable) (math):
Computational Logic for Applicative Common Lisp: infix source
8.3dfsg-2: all - bookworm (stable) (math):
Computational Logic for Applicative Common Lisp: infix source
8.5dfsg-5: all - trixie (testing) (math):
Computational Logic for Applicative Common Lisp: infix source
8.5dfsg-5: all - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: infix source
8.5dfsg-5: all
acl2-source Paketi
- buster (oldoldstable) (math):
Computational Logic for Applicative Common Lisp: source files
8.0dfsg-1: all - bullseye (oldstable) (math):
Computational Logic for Applicative Common Lisp: source files
8.3dfsg-2: all - bookworm (stable) (math):
Computational Logic for Applicative Common Lisp: source files
8.5dfsg-5: all - trixie (testing) (math):
Computational Logic for Applicative Common Lisp: source files
8.5dfsg-5: all - sid (unstable) (math):
Computational Logic for Applicative Common Lisp: source files
8.5dfsg-5: all
elpa-acl2 Paketi
- bookworm (stable) (lisp):
Computational Logic for Applicative Common Lisp: emacs interface
8.5dfsg-5: all - trixie (testing) (lisp):
Computational Logic for Applicative Common Lisp: emacs interface
8.5dfsg-5: all - sid (unstable) (lisp):
Computational Logic for Applicative Common Lisp: emacs interface
8.5dfsg-5: all
librte-acl21 Paketi
- bullseye (oldstable) (libs):
Data Plane Development Kit (librte-acl runtime library)
20.11.10-1~deb11u1: arm64
librte-acl23 Paketi
- bookworm (stable) (libs):
Data Plane Development Kit (librte-acl runtime library)
22.11.4-1~deb12u1: arm64
librte-acl24 Paketi
- trixie (testing) (libs):
Data Plane Development Kit (librte-acl runtime library)
23.11.1-1: arm64 - sid (unstable) (libs):
Data Plane Development Kit (librte-acl runtime library)
23.11.1-1: arm64