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