Şu takıma sınırla: [buster] [buster-updates] [buster-backports] [bullseye] [bullseye-updates] [bullseye-backports] [bookworm] [bookworm-updates] [bookworm-backports] [trixie] [sid] [experimental]
Tüm takımlarda ara
Mimariye sınırla: [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]
Tüm mimarilerde ara
Bazı sonuçlar arama parametrelerinden dolayı görüntülenemedi.
sid takımı takımının tüm bölümler bölümlerinde ve mimari(ler) alpha mimarilerinde, coq sözünü barındıran paketler aradınız 13 eşleşen paket bulundu.
Tam eşleşmeler
coq Paketi
- sid (unstable) (math):
proof assistant for higher-order logic (toplevel and compiler)
8.12.0-3+b3 [debports]: alpha
Diğer eşleşmeler
coq-doc Paketi
- sid (unstable) (doc):
documentation for Coq [non-free]
8.19.1-1: all
coq-doc-html Paketi
- sid (unstable) (doc):
documentation for Coq in html format [non-free]
8.19.1-1: all
coq-doc-pdf Paketi
- sid (unstable) (doc):
documentation for Coq in pdf format [non-free]
8.19.1-1: all
coq-theories Paketi
- sid (unstable) (math):
proof assistant for higher-order logic (theories)
8.12.0-3+b3 [debports]: alpha
coqide Paketi
- sid (unstable) (math):
proof assistant for higher-order logic (gtk interface)
8.12.0-3+b3 [debports]: alpha
debian-coq-tools Paketi
- sid (unstable) (ocaml):
various tools to manage Coq-related Debian packages
0.9: all
dh-coq Paketi
- sid (unstable) (ocaml):
debhelper tool for Coq-related Debian packages
0.9: all
libcoq-ocaml Paketi
- sid (unstable) (ocaml):
runtime libraries for Coq
8.12.0-3+b3 [debports]: alpha
libcoq-ocaml-dbgsym Paketi
- sid (unstable) (debug):
debug symbols for libcoq-ocaml
8.12.0-3+b3 [debports]: alpha
libcoq-ocaml-dev Paketi
- sid (unstable) (ocaml):
development libraries and tools for Coq
8.12.0-3+b3 [debports]: alpha
libssreflect-coq Paketi
- sid (unstable):
Sanal paket
sağlayan: libcoq-mathcomp
pycoqc Paketi
- sid (unstable) (science):
computes metrics and generates Interactive QC plots
2.5.2+dfsg-3: all