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

Källkodspaket: coq (8.19.1+dfsg-2)

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)
coqide
proof assistant for higher-order logic (gtk interface)
libcoq-core-ocaml
runtime libraries for Coq
libcoq-core-ocaml-dev
development libraries and tools for Coq
libcoq-stdlib
proof assistant for higher-order logic (theories)

Andra paket besläktade med coq

  • bygg-beroende
  • arkitekturoberoende bygg-beroende

Download coq

FilStorlek (i kbyte)MD5-kontrollsumma
coq_8.19.1+dfsg-2.dsc 2,3 kbyte 76717e910ecd76bdda167b5280c520c1
coq_8.19.1+dfsg.orig.tar.bz2 5.458,5 kbyte dea6de51a6e8218824751962ae449098
coq_8.19.1+dfsg-2.debian.tar.xz 32,1 kbyte 2211e4ccf029b6aa12b76ca0654b553b
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