Zawęź do gałęzi: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Szukaj we wszystkich gałęziach
Zawęź do architektury [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]
Niektóre wyniki nie zostały wyświetlone w związku z parametrami wyszukiwania.
Szukano pakietów źródłowych których nazwy zawierają coq w gałęzi: bookworm, wszystkich sekcjach i wszystkich architekturach. Liczba pasujących pakietów: 35.
Dokładne dopasowania
Pakiet źródłowy coq
- bookworm (math): 8.16.1+dfsg-1
Pakiety binarne: coq, coqide, libcoq-core-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Inne wyniki
Pakiet źródłowy coq-bignums
- bookworm (misc): 8.17.0-2
Pakiety binarne: libcoq-bignums
Pakiet źródłowy coq-corn
- bookworm (misc): 8.16.0-2
Pakiety binarne: libcoq-corn
Pakiet źródłowy coq-deriving
- bookworm (misc): 0.1.0-2
Pakiety binarne: libcoq-deriving
Pakiet źródłowy coq-doc
- bookworm (doc): 8.16.1-1 [non-free]
Pakiety binarne: coq-doc, coq-doc-html, coq-doc-pdf
Pakiet źródłowy coq-dpdgraph
- bookworm (misc): 1.0+8.16-2
Pakiety binarne: coq-dpdgraph-tools, libcoq-dpdgraph
Pakiet źródłowy coq-elpi
- bookworm (misc): 1.16.0-2
Pakiety binarne: libcoq-elpi
Pakiet źródłowy coq-equations
- bookworm (misc): 1.3-8.16-2
Pakiety binarne: libcoq-equations
Pakiet źródłowy coq-ext-lib
- bookworm (misc): 0.11.7-2
Pakiety binarne: libcoq-ext-lib
Pakiet źródłowy coq-extructures
- bookworm (misc): 0.3.1-3
Pakiety binarne: libcoq-extructures
Pakiet źródłowy coq-gappa
- bookworm (misc): 1.5.2-5
Pakiety binarne: libcoq-gappa
Pakiet źródłowy coq-hammer
- bookworm (misc): 1.3.2+8.16-2
Pakiety binarne: libcoq-hammer
Pakiet źródłowy coq-hierarchy-builder
- bookworm (misc): 1.4.0-2
Pakiety binarne: coq-hierarchy-builder, libcoq-hierarchy-builder
Pakiet źródłowy coq-hott
- bookworm (misc): 8.16-2
Pakiety binarne: libcoq-hott
Pakiet źródłowy coq-interval
- bookworm (misc): 4.6.1-2
Pakiety binarne: libcoq-interval
Pakiet źródłowy coq-iris
- bookworm (misc): 4.0.0-3
Pakiety binarne: libcoq-iris
Pakiet źródłowy coq-libhyps
- bookworm (misc): 2.0.6-2
Pakiety binarne: libcoq-libhyps
Pakiet źródłowy coq-math-classes
- bookworm (misc): 8.15.0-4
Pakiety binarne: libcoq-math-classes
Pakiet źródłowy coq-menhirlib
- bookworm (misc): 20220210+ds-4
Pakiety binarne: libcoq-menhirlib
Pakiet źródłowy coq-mtac2
- bookworm (misc): 1.4+8.16-2
Pakiety binarne: libcoq-mtac2
Pakiet źródłowy coq-quickchick
- bookworm (misc): 1.6.4-3
Pakiety binarne: libcoq-quickchick, quickchick
Pakiet źródłowy coq-record-update
- bookworm (misc): 0.3.1-2
Pakiety binarne: libcoq-record-update
Pakiet źródłowy coq-reduction-effects
- bookworm (misc): 0.1.4-3
Pakiety binarne: libcoq-reduction-effects
Pakiet źródłowy coq-reglang
- bookworm (misc): 1.1.3-2
Pakiety binarne: libcoq-reglang
Pakiet źródłowy coq-relation-algebra
- bookworm (misc): 1.7.8-2
Pakiety binarne: libcoq-relation-algebra
Pakiet źródłowy coq-simple-io
- bookworm (misc): 1.8.0-2
Pakiety binarne: libcoq-simple-io
Pakiet źródłowy coq-stdpp
- bookworm (misc): 1.8.0-3
Pakiety binarne: libcoq-stdpp
Pakiet źródłowy coq-unicoq
- bookworm (misc): 1.6-8.16-2
Pakiety binarne: libcoq-unicoq
Pakiet źródłowy coq-unimath
- bookworm (misc): 20220816-2
Pakiety binarne: libcoq-unimath
Pakiet źródłowy coqeal
- bookworm (misc): 1.1.1-3
Pakiety binarne: libcoq-coqeal
Pakiet źródłowy coqprime
- bookworm (misc): 8.15-2
Pakiety binarne: coqprime-tools, libcoq-coqprime
Pakiet źródłowy coquelicot
- bookworm (misc): 3.2.0-8
Pakiety binarne: libcoq-coquelicot
Pakiet źródłowy dh-coq
- bookworm (misc): 0.5
Pakiety binarne: debian-coq-tools, dh-coq
Pakiet źródłowy paramcoq
- bookworm (misc): 1.1.3+coq8.16-3
Pakiety binarne: libcoq-paramcoq