Limiter à la suite : [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Limiter à l'architecture : [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]
Chercher dans toutes les architectures
Vous avez recherché des paquets dont les noms contiennent acl2 dans toutes les suites, toutes les sections, et architecture(s) riscv64. 13 paquets correspondants trouvés.
Résultats exacts
Paquet acl2
- sid (unstable) (math):
logique calculatoire pour Applicative Common Lisp - binaire principal
8.5dfsg-5+b2: riscv64
Autres résultats
Paquet acl2-books
- sid (unstable) (math):
logique informatique pour ACL (Applicative Common Lisp) - bibliothèques compilées
8.5dfsg-5+b2: riscv64
Paquet acl2-books-certs
- buster (oldoldstable) (math):
logique calculatoire pour Applicative Common List - certificats de bibliothèques
8.0dfsg-1: all - bullseye (oldstable) (math):
logique calculatoire pour Applicative Common List - certificats de bibliothèques
8.3dfsg-2: all - bookworm (stable) (math):
logique calculatoire pour Applicative Common List - certificats de bibliothèques
8.5dfsg-5: all - trixie (testing) (math):
logique calculatoire pour Applicative Common List - certificats de bibliothèques
8.5dfsg-5: all - sid (unstable) (math):
logique calculatoire pour Applicative Common List - certificats de bibliothèques
8.5dfsg-5: all
Paquet acl2-books-source
- buster (oldoldstable) (math):
logique calculatoire pour Applicative Common Lisp - sources de la bibliothèque
8.0dfsg-1: all - bullseye (oldstable) (math):
logique calculatoire pour Applicative Common Lisp - sources de la bibliothèque
8.3dfsg-2: all - bookworm (stable) (math):
logique calculatoire pour Applicative Common Lisp - sources de la bibliothèque
8.5dfsg-5: all - trixie (testing) (math):
logique calculatoire pour Applicative Common Lisp - sources de la bibliothèque
8.5dfsg-5: all - sid (unstable) (math):
logique calculatoire pour Applicative Common Lisp - sources de la bibliothèque
8.5dfsg-5: all
Paquet acl2-doc
- buster (oldoldstable) (doc):
logique algorithmique pour application Common Lisp - documentation
8.0dfsg-1: all - bullseye (oldstable) (doc):
logique algorithmique pour application Common Lisp - documentation
8.3dfsg-2: all - bookworm (stable) (doc):
logique algorithmique pour application Common Lisp - documentation
8.5dfsg-5: all - trixie (testing) (doc):
logique algorithmique pour application Common Lisp - documentation
8.5dfsg-5: all - sid (unstable) (doc):
logique algorithmique pour application Common Lisp - documentation
8.5dfsg-5: all
Paquet acl2-emacs
- buster (oldoldstable) (math):
logique algorithmique pour application Common Lisp - interface emacs
8.0dfsg-1: all - bullseye (oldstable) (math):
logique algorithmique pour application Common Lisp - interface emacs
8.3dfsg-2: all
Paquet acl2-infix
- sid (unstable) (math):
logique calculatoire pour Applicative Common Lisp - interface infixe
8.5dfsg-5+b2: riscv64
Paquet acl2-infix-source
- buster (oldoldstable) (math):
logique algorithmique pour application Common Lisp - source infixe
8.0dfsg-1: all - bullseye (oldstable) (math):
logique algorithmique pour application Common Lisp - source infixe
8.3dfsg-2: all - bookworm (stable) (math):
logique algorithmique pour application Common Lisp - source infixe
8.5dfsg-5: all - trixie (testing) (math):
logique algorithmique pour application Common Lisp - source infixe
8.5dfsg-5: all - sid (unstable) (math):
logique algorithmique pour application Common Lisp - source infixe
8.5dfsg-5: all
Paquet acl2-source
- buster (oldoldstable) (math):
logique calculatoire pour Applicative Common Lisp - fichiers sources
8.0dfsg-1: all - bullseye (oldstable) (math):
logique calculatoire pour Applicative Common Lisp - fichiers sources
8.3dfsg-2: all - bookworm (stable) (math):
logique calculatoire pour Applicative Common Lisp - fichiers sources
8.5dfsg-5: all - trixie (testing) (math):
logique calculatoire pour Applicative Common Lisp - fichiers sources
8.5dfsg-5: all - sid (unstable) (math):
logique calculatoire pour Applicative Common Lisp - fichiers sources
8.5dfsg-5: all
Paquet elpa-acl2
- bookworm (stable) (lisp):
logique algorithmique pour application Common Lisp - interface emacs
8.5dfsg-5: all - trixie (testing) (lisp):
logique algorithmique pour application Common Lisp - interface emacs
8.5dfsg-5: all - sid (unstable) (lisp):
logique algorithmique pour application Common Lisp - interface emacs
8.5dfsg-5: all
Paquet librte-acl23
- sid (unstable) (libs):
Data Plane Development Kit (librte-acl runtime library)
22.11.2-3 [debports]: riscv64
Paquet librte-acl23-dbgsym
- sid (unstable) (debug):
debug symbols for librte-acl23
22.11.2-3 [debports]: riscv64
Paquet librte-acl24
- trixie (testing) (libs):
Data Plane Development Kit (librte-acl runtime library)
23.11.1-1: riscv64 - sid (unstable) (libs):
Data Plane Development Kit (librte-acl runtime library)
23.11.1-1: riscv64