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 paketit that names contain pilot in suite(s) bookworm, kaikki osastot, and architecture(s) ia64. Found 8 matching packages.
Paketti libghc-copilot-c99-doc
- bookworm (stable) (doc):
Compiler for Copilot targeting C99; documentation
3.13-1: all
Paketti libghc-copilot-core-doc
- bookworm (stable) (doc):
Intermediate representation for Copilot.; documentation
3.13-1: all
Paketti libghc-copilot-doc
- bookworm (stable) (doc):
Stream DSL for writing embedded C programs.; documentation
3.13-1: all
Paketti libghc-copilot-interpreter-doc
- bookworm (stable) (doc):
Interpreter for Copilot.; documentation
3.13-1: all
Paketti libghc-copilot-language-doc
- bookworm (stable) (doc):
DSL for monitoring hard real-time distributed systems.; documentation
3.13-1: all
Paketti libghc-copilot-libraries-doc
- bookworm (stable) (doc):
Libraries for the Copilot language.; documentation
3.13-1: all
Paketti libghc-copilot-prettyprinter-doc
- bookworm (stable) (doc):
Prettyprinter of Copilot Specifications; documentation
3.13-1: all
Paketti libghc-copilot-theorem-doc
- bookworm (stable) (doc):
k-induction for Copilot.; documentation
3.13-1: all