alla flaggor
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Källkodspaket: coq (8.12.0-3)

Länkar för coq

Debianresurser:

Ansvariga:

Externa resurser:

Följande binärpaket byggs från detta källkodspaket:
coq
proof assistant for higher-order logic (toplevel and compiler)
coq-theories
proof assistant for higher-order logic (theories)
coqide
proof assistant for higher-order logic (gtk interface)
libcoq-ocaml
runtime libraries for Coq
libcoq-ocaml-dev
development libraries and tools for Coq

Andra paket besläktade med coq

  • bygg-beroende
  • arkitekturoberoende bygg-beroende

Download coq

FilStorlek (i kbyte)MD5-kontrollsumma
coq_8.12.0-3.dsc 2,4 kbyte 74fa59ff625160361d54e4f008bbd61b
coq_8.12.0.orig.tar.gz 5.867,4 kbyte fb63dc40943c353977fe4da5f0e88002
coq_8.12.0-3.debian.tar.xz 36,9 kbyte 3957663116163b8bae95288b66e400bb
Debians paketkällkodsarkiv- (VCS: Git)
https://salsa.debian.org/ocaml-team/coq.git
Debians paketkällkodsarkiv (blädderbart)
https://salsa.debian.org/ocaml-team/coq