Limit to suite: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
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 paketit that names contain pilot in kaikki jakelut, kaikki osastot, and architecture(s) powerpc. Found 12 matching packages.
Paketti golang-github-performancecopilot-speed-dev
- trixie (testing) (golang):
Implementation of the PCP instrumentation API (library)
4.0.0-4: all - sid (unstable) (golang):
Implementation of the PCP instrumentation API (library)
4.0.0-4: all
Paketti libghc-copilot-c99-doc
- bookworm (stable) (doc):
Compiler for Copilot targeting C99; documentation
3.13-1: all - trixie (testing) (doc):
Compiler for Copilot targeting C99; documentation
4.0-1: all - sid (unstable) (doc):
Compiler for Copilot targeting C99; documentation
4.0-1: all
Paketti libghc-copilot-core-doc
- bookworm (stable) (doc):
Intermediate representation for Copilot.; documentation
3.13-1: all - trixie (testing) (doc):
Intermediate representation for Copilot.; documentation
4.0-1: all - sid (unstable) (doc):
Intermediate representation for Copilot.; documentation
4.0-1: all
Paketti libghc-copilot-doc
- bookworm (stable) (doc):
Stream DSL for writing embedded C programs.; documentation
3.13-1: all - trixie (testing) (doc):
Stream DSL for writing embedded C programs.; documentation
4.0-1: all - sid (unstable) (doc):
Stream DSL for writing embedded C programs.; documentation
4.0-1: all
Paketti libghc-copilot-interpreter-doc
- bookworm (stable) (doc):
Interpreter for Copilot.; documentation
3.13-1: all - trixie (testing) (doc):
Interpreter for Copilot.; documentation
4.0-1: all - sid (unstable) (doc):
Interpreter for Copilot.; documentation
4.0-1: all
Paketti libghc-copilot-language-doc
- bookworm (stable) (doc):
DSL for monitoring hard real-time distributed systems.; documentation
3.13-1: all - trixie (testing) (doc):
DSL for monitoring hard real-time distributed systems.; documentation
4.0-1: all - sid (unstable) (doc):
DSL for monitoring hard real-time distributed systems.; documentation
4.0-1: all
Paketti libghc-copilot-libraries-doc
- bookworm (stable) (doc):
Libraries for the Copilot language.; documentation
3.13-1: all - trixie (testing) (doc):
Libraries for the Copilot language.; documentation
4.0-1: all - sid (unstable) (doc):
Libraries for the Copilot language.; documentation
4.0-1: all
Paketti libghc-copilot-prettyprinter-doc
- bookworm (stable) (doc):
Prettyprinter of Copilot Specifications; documentation
3.13-1: all - trixie (testing) (doc):
Prettyprinter of Copilot Specifications; documentation
4.0-1: all - sid (unstable) (doc):
Prettyprinter of Copilot Specifications; documentation
4.0-1: all
Paketti libghc-copilot-theorem-doc
- bookworm (stable) (doc):
k-induction for Copilot.; documentation
3.13-1: all - trixie (testing) (doc):
k-induction for Copilot.; documentation
4.0-1: all - sid (unstable) (doc):
k-induction for Copilot.; documentation
4.0-1: all
Paketti xpilot-extra
- buster (oldoldstable) (games):
Maps, utilities and configs for XPilot
4.7.3: all
Paketti xpilot-ng
- buster (oldoldstable) (games):
Taktinen moninpeli X:lle (NG-versio)
1:4.7.3-2.3: all
Paketti xpilot-ng-common
- buster (oldoldstable) (games):
Common files for XPilot NG
1:4.7.3-2.3: all