Limiter à la suite : [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Chercher dans toutes les suites
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 pilot dans version(s) bookworm, toutes les sections, et architecture(s) ppc64. 8 paquets correspondants trouvés.
Paquet libghc-copilot-c99-doc
- bookworm (stable) (doc):
Compiler for Copilot targeting C99; documentation
3.13-1: all
Paquet libghc-copilot-core-doc
- bookworm (stable) (doc):
Intermediate representation for Copilot.; documentation
3.13-1: all
Paquet libghc-copilot-doc
- bookworm (stable) (doc):
Stream DSL for writing embedded C programs.; documentation
3.13-1: all
Paquet libghc-copilot-interpreter-doc
- bookworm (stable) (doc):
Interpreter for Copilot.; documentation
3.13-1: all
Paquet libghc-copilot-language-doc
- bookworm (stable) (doc):
DSL for monitoring hard real-time distributed systems.; documentation
3.13-1: all
Paquet libghc-copilot-libraries-doc
- bookworm (stable) (doc):
Libraries for the Copilot language.; documentation
3.13-1: all
Paquet libghc-copilot-prettyprinter-doc
- bookworm (stable) (doc):
Prettyprinter of Copilot Specifications; documentation
3.13-1: all
Paquet libghc-copilot-theorem-doc
- bookworm (stable) (doc):
k-induction for Copilot.; documentation
3.13-1: all