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 packages that names contain pilot in all suites, all sections, and architecture(s) kfreebsd-amd64. Found 12 matching packages.
Package 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
Package 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
Package 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
Package 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
Package 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
Package 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
Package 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
Package 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
Package 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
Package xpilot-extra
- buster (oldoldstable) (games):
Maps, utilities and configs for XPilot
4.7.3: all
Package xpilot-ng
- buster (oldoldstable) (games):
Багатокористувацька тактична гра для X (NG-версія)
1:4.7.3-2.3: all
Package xpilot-ng-common
- buster (oldoldstable) (games):
Common files for XPilot NG
1:4.7.3-2.3: all