Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Search in all suites
Limit to a 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]
Search in all architectures
Some results have not been displayed due to the search parameters.
You have searched for packages that names contain pilot in suite(s) sid, all sections, and architecture(s) powerpc. Found 9 matching packages.
Package golang-github-performancecopilot-speed-dev
- sid (unstable) (golang):
Implementation of the PCP instrumentation API (library)
4.0.0-4: all
Package libghc-copilot-c99-doc
- sid (unstable) (doc):
Compiler for Copilot targeting C99; documentation
4.0-1: all
Package libghc-copilot-core-doc
- sid (unstable) (doc):
Intermediate representation for Copilot.; documentation
4.0-1: all
Package libghc-copilot-doc
- sid (unstable) (doc):
Stream DSL for writing embedded C programs.; documentation
4.0-1: all
Package libghc-copilot-interpreter-doc
- sid (unstable) (doc):
Interpreter for Copilot.; documentation
4.0-1: all
Package libghc-copilot-language-doc
- sid (unstable) (doc):
DSL for monitoring hard real-time distributed systems.; documentation
4.0-1: all
Package libghc-copilot-libraries-doc
- sid (unstable) (doc):
Libraries for the Copilot language.; documentation
4.0-1: all
Package libghc-copilot-prettyprinter-doc
- sid (unstable) (doc):
Prettyprinter of Copilot Specifications; documentation
4.0-1: all
Package libghc-copilot-theorem-doc
- sid (unstable) (doc):
k-induction for Copilot.; documentation
4.0-1: all