alle opties

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 coq in alle suites, alle secties, and platform(s) sparc. Found 7 matching packages.

Pakket coq-doc

Pakket coq-doc-html

Pakket coq-doc-pdf

Pakket debian-coq-tools

Pakket dh-coq

Pakket libssreflect-coq

Pakket pycoqc