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]
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 alle suites, alle secties, and platform(s) kfreebsd-amd64. Found 12 matching packages.
Pakket 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
Pakket 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
3.18.1-1: all - sid (unstable) (doc):
Compiler for Copilot targeting C99; documentation
3.18.1-1: all
Pakket libghc-copilot-core-doc
- bookworm (stable) (doc):
Intermediate representation for Copilot.; documentation
3.13-1: all - trixie (testing) (doc):
Intermediate representation for Copilot.; documentation
3.18.1-1: all - sid (unstable) (doc):
Intermediate representation for Copilot.; documentation
3.18.1-1: all
Pakket 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
3.18.1-1: all - sid (unstable) (doc):
Stream DSL for writing embedded C programs.; documentation
3.18.1-1: all
Pakket libghc-copilot-interpreter-doc
- bookworm (stable) (doc):
Interpreter for Copilot.; documentation
3.13-1: all - trixie (testing) (doc):
Interpreter for Copilot.; documentation
3.18.1-1: all - sid (unstable) (doc):
Interpreter for Copilot.; documentation
3.18.1-1: all
Pakket 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
3.18.1-1: all - sid (unstable) (doc):
DSL for monitoring hard real-time distributed systems.; documentation
3.18.1-1: all
Pakket 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
3.18.1-2: all - sid (unstable) (doc):
Libraries for the Copilot language.; documentation
3.18.1-2: all
Pakket libghc-copilot-prettyprinter-doc
- bookworm (stable) (doc):
Prettyprinter of Copilot Specifications; documentation
3.13-1: all - trixie (testing) (doc):
Prettyprinter of Copilot Specifications; documentation
3.18.1-1: all - sid (unstable) (doc):
Prettyprinter of Copilot Specifications; documentation
3.18.1-1: all
Pakket libghc-copilot-theorem-doc
- bookworm (stable) (doc):
k-induction for Copilot.; documentation
3.13-1: all - trixie (testing) (doc):
k-induction for Copilot.; documentation
3.18.1-2: all - sid (unstable) (doc):
k-induction for Copilot.; documentation
3.18.1-2: all
Pakket xpilot-extra
- buster (oldoldstable) (games):
Maps, utilities and configs for XPilot
4.7.3: all
Pakket xpilot-ng
- buster (oldoldstable) (games):
Multi-player tactical game for X (NG version)
1:4.7.3-2.3: all
Pakket xpilot-ng-common
- buster (oldoldstable) (games):
Common files for XPilot NG
1:4.7.3-2.3: all