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 source packages that names contain coq in suite(s) sid, all sections, and architecture(s) sparc64. Found 36 matching packages.
Exact hits
Source Package coq
- sid (math): 8.19.1+dfsg-1
Binary packages: coq, coqide, libcoq-core-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Other hits
Source Package coq-bignums
- sid (misc): 9.0.0+coq8.19-1
Binary packages: libcoq-bignums
Source Package coq-corn
- sid (misc): 8.19.0+ds1-1
Binary packages: libcoq-corn
Source Package coq-deriving
- sid (misc): 0.2.0-2
Binary packages: libcoq-deriving
Source Package coq-doc
- sid (doc): 8.19.1-1 [non-free]
Binary packages: coq-doc, coq-doc-html, coq-doc-pdf
Source Package coq-dpdgraph
- sid (misc): 1.0+8.19-1
Binary packages: coq-dpdgraph-tools, libcoq-dpdgraph
Source Package coq-elpi
- sid (misc): 2.1.0-1
Binary packages: libcoq-elpi
Source Package coq-equations
- sid (misc): 1.3-8.19-1
Binary packages: libcoq-equations
Source Package coq-ext-lib
- sid (misc): 0.12.1-1
Binary packages: libcoq-ext-lib
Source Package coq-extructures
- sid (misc): 0.4.0-3
Binary packages: libcoq-extructures
Source Package coq-gappa
- sid (misc): 1.5.5-1
Binary packages: libcoq-gappa
Source Package coq-hammer
- sid (misc): 1.3.2+8.19-1
Binary packages: libcoq-hammer
Source Package coq-hierarchy-builder
- sid (misc): 1.7.0-1
Binary packages: libcoq-hierarchy-builder
Source Package coq-hott
- sid (misc): 8.19-1
Binary packages: libcoq-hott
Source Package coq-interval
- sid (misc): 4.10.0-1
Binary packages: libcoq-interval
Source Package coq-iris
- sid (misc): 4.2.0-1
Binary packages: libcoq-iris
Source Package coq-libhyps
- sid (misc): 2.0.8-3
Binary packages: libcoq-libhyps
Source Package coq-math-classes
- sid (misc): 8.19.0-1
Binary packages: libcoq-math-classes
Source Package coq-menhirlib
- sid (misc): 20231231+ds-3
Binary packages: libcoq-menhirlib
Source Package coq-mtac2
- sid (misc): 1.4+8.19-1
Binary packages: libcoq-mtac2
Source Package coq-quickchick
- sid (misc): 2.0.3-2
Binary packages: libcoq-quickchick, quickchick
Source Package coq-record-update
- sid (misc): 0.3.4-2
Binary packages: libcoq-record-update
Source Package coq-reduction-effects
- sid (misc): 0.1.5-4
Binary packages: libcoq-reduction-effects
Source Package coq-reglang
- sid (misc): 1.2.1-3
Binary packages: libcoq-reglang
Source Package coq-relation-algebra
- sid (misc): 1.7.10-3
Binary packages: libcoq-relation-algebra
Source Package coq-serapi
- sid (misc): 8.19.0+0.19.3-2
Binary packages: coq-serapi, libcoq-serapi-ocaml, libcoq-serapi-ocaml-dev
Source Package coq-simple-io
- sid (misc): 1.9.0-1
Binary packages: libcoq-simple-io
Source Package coq-stdpp
- sid (misc): 1.10.0-1
Binary packages: libcoq-stdpp
Source Package coq-unicoq
- sid (misc): 1.6-8.19-1
Binary packages: libcoq-unicoq
Source Package coq-unimath
- sid (misc): 20240331-1
Binary packages: libcoq-unimath
Source Package coqeal
- sid (misc): 2.0.2-1
Binary packages: libcoq-coqeal
Source Package coqprime
- sid (misc): 8.19-1
Binary packages: coqprime-tools, libcoq-coqprime
Source Package coquelicot
- sid (misc): 3.4.1-2
Binary packages: libcoq-coquelicot
Source Package dh-coq
- sid (misc): 0.9
Binary packages: debian-coq-tools, dh-coq
Source Package paramcoq
- sid (misc): 1.1.3+coq8.19-1
Binary packages: libcoq-paramcoq