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]
すべてのアーキテクチャで検索
coq を名前に含むソースパッケージを、すべてのスイート、すべてのセクション、avr32 アーキテクチャで検索しました。 36 個の一致するパッケージが見つかりました。
完全なヒット
coq ソースパッケージ
- buster (math): 8.9.0-1
バイナリパッケージ: coq, coq-theories, libcoq-ocaml, libcoq-ocaml-dev - bullseye (math): 8.12.0-3
バイナリパッケージ: coq, coq-theories, coqide, libcoq-ocaml, libcoq-ocaml-dev - bookworm (math): 8.16.1+dfsg-1
バイナリパッケージ: coq, coqide, libcoq-core-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib - trixie (math): 8.18.0+dfsg-1
バイナリパッケージ: coq, coqide, libcoq-core-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib - sid (math): 8.19.1+dfsg-1
バイナリパッケージ: coq, coqide, libcoq-core-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
その他のヒット
coq-bignums ソースパッケージ
- bookworm (misc): 8.17.0-2
バイナリパッケージ: libcoq-bignums - trixie (misc): 9.0.0+coq8.18-1
バイナリパッケージ: libcoq-bignums - sid (misc): 9.0.0+coq8.19-1
バイナリパッケージ: libcoq-bignums
coq-corn ソースパッケージ
- bookworm (misc): 8.16.0-2
バイナリパッケージ: libcoq-corn - trixie (misc): 8.18.0-1
バイナリパッケージ: libcoq-corn - sid (misc): 8.19.0+ds1-1
バイナリパッケージ: libcoq-corn
coq-deriving ソースパッケージ
- bookworm (misc): 0.1.0-2
バイナリパッケージ: libcoq-deriving - trixie (misc): 0.2.0-1
バイナリパッケージ: libcoq-deriving - sid (misc): 0.2.0-2
バイナリパッケージ: libcoq-deriving
coq-doc ソースパッケージ
- bookworm (doc): 8.16.1-1 [non-free]
バイナリパッケージ: coq-doc, coq-doc-html, coq-doc-pdf - trixie (doc): 8.19.1-1 [non-free]
バイナリパッケージ: coq-doc, coq-doc-html, coq-doc-pdf - sid (doc): 8.19.1-1 [non-free]
バイナリパッケージ: coq-doc, coq-doc-html, coq-doc-pdf
coq-dpdgraph ソースパッケージ
- bookworm (misc): 1.0+8.16-2
バイナリパッケージ: coq-dpdgraph-tools, libcoq-dpdgraph - trixie (misc): 1.0+8.18-1
バイナリパッケージ: coq-dpdgraph-tools, libcoq-dpdgraph - sid (misc): 1.0+8.19-1
バイナリパッケージ: coq-dpdgraph-tools, libcoq-dpdgraph
coq-elpi ソースパッケージ
- bookworm (misc): 1.16.0-2
バイナリパッケージ: libcoq-elpi - trixie (misc): 1.19.3-2
バイナリパッケージ: libcoq-elpi - sid (misc): 2.1.0-1
バイナリパッケージ: libcoq-elpi
coq-equations ソースパッケージ
- bookworm (misc): 1.3-8.16-2
バイナリパッケージ: libcoq-equations - trixie (misc): 1.3-8.18-1
バイナリパッケージ: libcoq-equations - sid (misc): 1.3-8.19-1
バイナリパッケージ: libcoq-equations
coq-ext-lib ソースパッケージ
- bookworm (misc): 0.11.7-2
バイナリパッケージ: libcoq-ext-lib - trixie (misc): 0.12.0-1
バイナリパッケージ: libcoq-ext-lib - sid (misc): 0.12.1-1
バイナリパッケージ: libcoq-ext-lib
coq-extructures ソースパッケージ
- bookworm (misc): 0.3.1-3
バイナリパッケージ: libcoq-extructures - trixie (misc): 0.4.0-1
バイナリパッケージ: libcoq-extructures - sid (misc): 0.4.0-3
バイナリパッケージ: libcoq-extructures
coq-gappa ソースパッケージ
- bookworm (misc): 1.5.2-5
バイナリパッケージ: libcoq-gappa - trixie (misc): 1.5.4-1
バイナリパッケージ: libcoq-gappa - sid (misc): 1.5.5-1
バイナリパッケージ: libcoq-gappa
coq-hammer ソースパッケージ
- bookworm (misc): 1.3.2+8.16-2
バイナリパッケージ: libcoq-hammer - trixie (misc): 1.3.2+8.18-1
バイナリパッケージ: libcoq-hammer - sid (misc): 1.3.2+8.19-1
バイナリパッケージ: libcoq-hammer
coq-hierarchy-builder ソースパッケージ
- bookworm (misc): 1.4.0-2
バイナリパッケージ: coq-hierarchy-builder, libcoq-hierarchy-builder - trixie (misc): 1.6.0-1
バイナリパッケージ: coq-hierarchy-builder, libcoq-hierarchy-builder - sid (misc): 1.7.0-1
バイナリパッケージ: libcoq-hierarchy-builder
coq-hott ソースパッケージ
- bookworm (misc): 8.16-2
バイナリパッケージ: libcoq-hott - trixie (misc): 8.18-3
バイナリパッケージ: libcoq-hott - sid (misc): 8.19-1
バイナリパッケージ: libcoq-hott
coq-interval ソースパッケージ
- bookworm (misc): 4.6.1-2
バイナリパッケージ: libcoq-interval - trixie (misc): 4.9.0-1
バイナリパッケージ: libcoq-interval - sid (misc): 4.10.0-1
バイナリパッケージ: libcoq-interval
coq-iris ソースパッケージ
- bookworm (misc): 4.0.0-3
バイナリパッケージ: libcoq-iris - trixie (misc): 4.1.0-1
バイナリパッケージ: libcoq-iris - sid (misc): 4.2.0-1
バイナリパッケージ: libcoq-iris
coq-libhyps ソースパッケージ
- bookworm (misc): 2.0.6-2
バイナリパッケージ: libcoq-libhyps - trixie (misc): 2.0.8-1
バイナリパッケージ: libcoq-libhyps - sid (misc): 2.0.8-3
バイナリパッケージ: libcoq-libhyps
coq-math-classes ソースパッケージ
- bookworm (misc): 8.15.0-4
バイナリパッケージ: libcoq-math-classes - trixie (misc): 8.18.0-1
バイナリパッケージ: libcoq-math-classes - sid (misc): 8.19.0-1
バイナリパッケージ: libcoq-math-classes
coq-menhirlib ソースパッケージ
- bookworm (misc): 20220210+ds-4
バイナリパッケージ: libcoq-menhirlib - trixie (misc): 20231231+ds-1
バイナリパッケージ: libcoq-menhirlib - sid (misc): 20231231+ds-3
バイナリパッケージ: libcoq-menhirlib
coq-mtac2 ソースパッケージ
- bookworm (misc): 1.4+8.16-2
バイナリパッケージ: libcoq-mtac2 - trixie (misc): 1.4+8.18-1
バイナリパッケージ: libcoq-mtac2 - sid (misc): 1.4+8.19-1
バイナリパッケージ: libcoq-mtac2
coq-quickchick ソースパッケージ
- bookworm (misc): 1.6.4-3
バイナリパッケージ: libcoq-quickchick, quickchick - trixie (misc): 2.0.2-1
バイナリパッケージ: libcoq-quickchick, quickchick - sid (misc): 2.0.3-2
バイナリパッケージ: libcoq-quickchick, quickchick
coq-record-update ソースパッケージ
- bookworm (misc): 0.3.1-2
バイナリパッケージ: libcoq-record-update - trixie (misc): 0.3.3-1
バイナリパッケージ: libcoq-record-update - sid (misc): 0.3.4-2
バイナリパッケージ: libcoq-record-update
coq-reduction-effects ソースパッケージ
- bookworm (misc): 0.1.4-3
バイナリパッケージ: libcoq-reduction-effects - trixie (misc): 0.1.5-1
バイナリパッケージ: libcoq-reduction-effects - sid (misc): 0.1.5-4
バイナリパッケージ: libcoq-reduction-effects
coq-reglang ソースパッケージ
- bookworm (misc): 1.1.3-2
バイナリパッケージ: libcoq-reglang - trixie (misc): 1.2.1-1
バイナリパッケージ: libcoq-reglang - sid (misc): 1.2.1-3
バイナリパッケージ: libcoq-reglang
coq-relation-algebra ソースパッケージ
- bookworm (misc): 1.7.8-2
バイナリパッケージ: libcoq-relation-algebra - trixie (misc): 1.7.9-2
バイナリパッケージ: libcoq-relation-algebra - sid (misc): 1.7.10-3
バイナリパッケージ: libcoq-relation-algebra
coq-serapi ソースパッケージ
- sid (misc): 8.19.0+0.19.3-2
バイナリパッケージ: coq-serapi, libcoq-serapi-ocaml, libcoq-serapi-ocaml-dev
coq-simple-io ソースパッケージ
- bookworm (misc): 1.8.0-2
バイナリパッケージ: libcoq-simple-io - trixie (misc): 1.8.0-4
バイナリパッケージ: libcoq-simple-io - sid (misc): 1.9.0-1
バイナリパッケージ: libcoq-simple-io
coq-stdpp ソースパッケージ
- bookworm (misc): 1.8.0-3
バイナリパッケージ: libcoq-stdpp - trixie (misc): 1.9.0-1
バイナリパッケージ: libcoq-stdpp - sid (misc): 1.10.0-1
バイナリパッケージ: libcoq-stdpp
coq-unicoq ソースパッケージ
- bookworm (misc): 1.6-8.16-2
バイナリパッケージ: libcoq-unicoq - trixie (misc): 1.6-8.18-1
バイナリパッケージ: libcoq-unicoq - sid (misc): 1.6-8.19-1
バイナリパッケージ: libcoq-unicoq
coq-unimath ソースパッケージ
- bookworm (misc): 20220816-2
バイナリパッケージ: libcoq-unimath - trixie (misc): 20231010-1
バイナリパッケージ: libcoq-unimath - sid (misc): 20240331-1
バイナリパッケージ: libcoq-unimath
coqeal ソースパッケージ
- bookworm (misc): 1.1.1-3
バイナリパッケージ: libcoq-coqeal - trixie (misc): 2.0.1-1
バイナリパッケージ: libcoq-coqeal - sid (misc): 2.0.2-1
バイナリパッケージ: libcoq-coqeal
coqprime ソースパッケージ
- bookworm (misc): 8.15-2
バイナリパッケージ: coqprime-tools, libcoq-coqprime - trixie (misc): 8.18-1
バイナリパッケージ: coqprime-tools, libcoq-coqprime - sid (misc): 8.19-1
バイナリパッケージ: coqprime-tools, libcoq-coqprime
coquelicot ソースパッケージ
- bookworm (misc): 3.2.0-8
バイナリパッケージ: libcoq-coquelicot - trixie (misc): 3.4.1-1
バイナリパッケージ: libcoq-coquelicot - sid (misc): 3.4.1-2
バイナリパッケージ: libcoq-coquelicot
dh-coq ソースパッケージ
- bookworm (misc): 0.5
バイナリパッケージ: debian-coq-tools, dh-coq - trixie (misc): 0.9
バイナリパッケージ: debian-coq-tools, dh-coq - sid (misc): 0.9
バイナリパッケージ: debian-coq-tools, dh-coq
paramcoq ソースパッケージ
- bookworm (misc): 1.1.3+coq8.16-3
バイナリパッケージ: libcoq-paramcoq - trixie (misc): 1.1.3+coq8.18-1
バイナリパッケージ: libcoq-paramcoq - sid (misc): 1.1.3+coq8.19-1
バイナリパッケージ: libcoq-paramcoq