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
Certains résultats n'ont pas été affichés en raison des paramètres de recherche.
Vous avez recherché des paquets dont les noms contiennent acl2 dans toutes les suites, toutes les sections, et architecture(s) sh4. 10 paquets correspondants trouvés.
Résultats exacts
Paquet acl2
- sid (unstable) (math):
logique calculatoire pour Applicative Common Lisp - binaire principal
8.4dfsg-2 [debports]: sh4
Autres résultats
Paquet acl2-books
- sid (unstable) (math):
logique informatique pour ACL (Applicative Common Lisp) - bibliothèques compilées
8.4dfsg-2 [debports]: sh4
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.4dfsg-2 [debports]: sh4
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