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
You have searched for source packages that names contain coq in all suites, all sections, and architecture(s) hppa. Found 36 matching packages.
Exact hits
Source Package coq
- buster (math): 8.9.0-1
Binary packages: coq, coq-theories, libcoq-ocaml, libcoq-ocaml-dev - bullseye (math): 8.12.0-3
Binary packages: coq, coq-theories, coqide, libcoq-ocaml, libcoq-ocaml-dev - bookworm (math): 8.16.1+dfsg-1
Binary packages: coq, coqide, libcoq-core-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib - trixie (math): 8.18.0+dfsg-1
Binary packages: coq, coqide, libcoq-core-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib - 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
- bookworm (misc): 8.17.0-2
Binary packages: libcoq-bignums - trixie (misc): 9.0.0+coq8.18-1
Binary packages: libcoq-bignums - sid (misc): 9.0.0+coq8.19-1
Binary packages: libcoq-bignums
Source Package coq-corn
- bookworm (misc): 8.16.0-2
Binary packages: libcoq-corn - trixie (misc): 8.18.0-1
Binary packages: libcoq-corn - sid (misc): 8.19.0+ds1-1
Binary packages: libcoq-corn
Source Package coq-deriving
- bookworm (misc): 0.1.0-2
Binary packages: libcoq-deriving - trixie (misc): 0.2.0-1
Binary packages: libcoq-deriving - sid (misc): 0.2.0-2
Binary packages: libcoq-deriving
Source Package coq-doc
- bookworm (doc): 8.16.1-1 [non-free]
Binary packages: coq-doc, coq-doc-html, coq-doc-pdf - trixie (doc): 8.19.1-1 [non-free]
Binary packages: coq-doc, coq-doc-html, coq-doc-pdf - sid (doc): 8.19.1-1 [non-free]
Binary packages: coq-doc, coq-doc-html, coq-doc-pdf
Source Package coq-dpdgraph
- bookworm (misc): 1.0+8.16-2
Binary packages: coq-dpdgraph-tools, libcoq-dpdgraph - trixie (misc): 1.0+8.18-1
Binary packages: coq-dpdgraph-tools, libcoq-dpdgraph - sid (misc): 1.0+8.19-1
Binary packages: coq-dpdgraph-tools, libcoq-dpdgraph
Source Package coq-elpi
- bookworm (misc): 1.16.0-2
Binary packages: libcoq-elpi - trixie (misc): 1.19.3-2
Binary packages: libcoq-elpi - sid (misc): 2.1.0-1
Binary packages: libcoq-elpi
Source Package coq-equations
- bookworm (misc): 1.3-8.16-2
Binary packages: libcoq-equations - trixie (misc): 1.3-8.18-1
Binary packages: libcoq-equations - sid (misc): 1.3-8.19-1
Binary packages: libcoq-equations
Source Package coq-ext-lib
- bookworm (misc): 0.11.7-2
Binary packages: libcoq-ext-lib - trixie (misc): 0.12.0-1
Binary packages: libcoq-ext-lib - sid (misc): 0.12.1-1
Binary packages: libcoq-ext-lib
Source Package coq-extructures
- bookworm (misc): 0.3.1-3
Binary packages: libcoq-extructures - trixie (misc): 0.4.0-1
Binary packages: libcoq-extructures - sid (misc): 0.4.0-3
Binary packages: libcoq-extructures
Source Package coq-gappa
- bookworm (misc): 1.5.2-5
Binary packages: libcoq-gappa - trixie (misc): 1.5.4-1
Binary packages: libcoq-gappa - sid (misc): 1.5.5-1
Binary packages: libcoq-gappa
Source Package coq-hammer
- bookworm (misc): 1.3.2+8.16-2
Binary packages: libcoq-hammer - trixie (misc): 1.3.2+8.18-1
Binary packages: libcoq-hammer - sid (misc): 1.3.2+8.19-1
Binary packages: libcoq-hammer
Source Package coq-hierarchy-builder
- bookworm (misc): 1.4.0-2
Binary packages: coq-hierarchy-builder, libcoq-hierarchy-builder - trixie (misc): 1.6.0-1
Binary packages: coq-hierarchy-builder, libcoq-hierarchy-builder - sid (misc): 1.7.0-1
Binary packages: libcoq-hierarchy-builder
Source Package coq-hott
- bookworm (misc): 8.16-2
Binary packages: libcoq-hott - trixie (misc): 8.18-3
Binary packages: libcoq-hott - sid (misc): 8.19-1
Binary packages: libcoq-hott
Source Package coq-interval
- bookworm (misc): 4.6.1-2
Binary packages: libcoq-interval - trixie (misc): 4.9.0-1
Binary packages: libcoq-interval - sid (misc): 4.10.0-1
Binary packages: libcoq-interval
Source Package coq-iris
- bookworm (misc): 4.0.0-3
Binary packages: libcoq-iris - trixie (misc): 4.1.0-1
Binary packages: libcoq-iris - sid (misc): 4.2.0-1
Binary packages: libcoq-iris
Source Package coq-libhyps
- bookworm (misc): 2.0.6-2
Binary packages: libcoq-libhyps - trixie (misc): 2.0.8-1
Binary packages: libcoq-libhyps - sid (misc): 2.0.8-3
Binary packages: libcoq-libhyps
Source Package coq-math-classes
- bookworm (misc): 8.15.0-4
Binary packages: libcoq-math-classes - trixie (misc): 8.18.0-1
Binary packages: libcoq-math-classes - sid (misc): 8.19.0-1
Binary packages: libcoq-math-classes
Source Package coq-menhirlib
- bookworm (misc): 20220210+ds-4
Binary packages: libcoq-menhirlib - trixie (misc): 20231231+ds-1
Binary packages: libcoq-menhirlib - sid (misc): 20231231+ds-3
Binary packages: libcoq-menhirlib
Source Package coq-mtac2
- bookworm (misc): 1.4+8.16-2
Binary packages: libcoq-mtac2 - trixie (misc): 1.4+8.18-1
Binary packages: libcoq-mtac2 - sid (misc): 1.4+8.19-1
Binary packages: libcoq-mtac2
Source Package coq-quickchick
- bookworm (misc): 1.6.4-3
Binary packages: libcoq-quickchick, quickchick - trixie (misc): 2.0.2-1
Binary packages: libcoq-quickchick, quickchick - sid (misc): 2.0.3-2
Binary packages: libcoq-quickchick, quickchick
Source Package coq-record-update
- bookworm (misc): 0.3.1-2
Binary packages: libcoq-record-update - trixie (misc): 0.3.3-1
Binary packages: libcoq-record-update - sid (misc): 0.3.4-2
Binary packages: libcoq-record-update
Source Package coq-reduction-effects
- bookworm (misc): 0.1.4-3
Binary packages: libcoq-reduction-effects - trixie (misc): 0.1.5-1
Binary packages: libcoq-reduction-effects - sid (misc): 0.1.5-4
Binary packages: libcoq-reduction-effects
Source Package coq-reglang
- bookworm (misc): 1.1.3-2
Binary packages: libcoq-reglang - trixie (misc): 1.2.1-1
Binary packages: libcoq-reglang - sid (misc): 1.2.1-3
Binary packages: libcoq-reglang
Source Package coq-relation-algebra
- bookworm (misc): 1.7.8-2
Binary packages: libcoq-relation-algebra - trixie (misc): 1.7.9-2
Binary packages: libcoq-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
- bookworm (misc): 1.8.0-2
Binary packages: libcoq-simple-io - trixie (misc): 1.8.0-4
Binary packages: libcoq-simple-io - sid (misc): 1.9.0-1
Binary packages: libcoq-simple-io
Source Package coq-stdpp
- bookworm (misc): 1.8.0-3
Binary packages: libcoq-stdpp - trixie (misc): 1.9.0-1
Binary packages: libcoq-stdpp - sid (misc): 1.10.0-1
Binary packages: libcoq-stdpp
Source Package coq-unicoq
- bookworm (misc): 1.6-8.16-2
Binary packages: libcoq-unicoq - trixie (misc): 1.6-8.18-1
Binary packages: libcoq-unicoq - sid (misc): 1.6-8.19-1
Binary packages: libcoq-unicoq
Source Package coq-unimath
- bookworm (misc): 20220816-2
Binary packages: libcoq-unimath - trixie (misc): 20231010-1
Binary packages: libcoq-unimath - sid (misc): 20240331-1
Binary packages: libcoq-unimath
Source Package coqeal
- bookworm (misc): 1.1.1-3
Binary packages: libcoq-coqeal - trixie (misc): 2.0.1-1
Binary packages: libcoq-coqeal - sid (misc): 2.0.2-1
Binary packages: libcoq-coqeal
Source Package coqprime
- bookworm (misc): 8.15-2
Binary packages: coqprime-tools, libcoq-coqprime - trixie (misc): 8.18-1
Binary packages: coqprime-tools, libcoq-coqprime - sid (misc): 8.19-1
Binary packages: coqprime-tools, libcoq-coqprime
Source Package coquelicot
- bookworm (misc): 3.2.0-8
Binary packages: libcoq-coquelicot - trixie (misc): 3.4.1-1
Binary packages: libcoq-coquelicot - sid (misc): 3.4.1-2
Binary packages: libcoq-coquelicot
Source Package dh-coq
- bookworm (misc): 0.5
Binary packages: debian-coq-tools, dh-coq - trixie (misc): 0.9
Binary packages: debian-coq-tools, dh-coq - sid (misc): 0.9
Binary packages: debian-coq-tools, dh-coq
Source Package paramcoq
- bookworm (misc): 1.1.3+coq8.16-3
Binary packages: libcoq-paramcoq - trixie (misc): 1.1.3+coq8.18-1
Binary packages: libcoq-paramcoq - sid (misc): 1.1.3+coq8.19-1
Binary packages: libcoq-paramcoq