всички настройки
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Пакет-източник: coq (8.12.0-3)

Връзки за coq

Ресурси за Debian:

Отговорници:

Външни препратки:

Следните двоични пакети са компилирани от този пакет-източник:
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

Други пакети, свързани с coq

  • зависимости при компилиране
  • зависимости при компилиране (архитектурно-независими)

Download coq

ФайлГолемина (в кБ)контролна сума MD5
coq_8.12.0-3.dsc 2,4 кБ 74fa59ff625160361d54e4f008bbd61b
coq_8.12.0.orig.tar.gz 5 867,4 кБ fb63dc40943c353977fe4da5f0e88002
coq_8.12.0-3.debian.tar.xz 36,9 кБ 3957663116163b8bae95288b66e400bb
Хранилище на изходния код на пакета (СКП: Git)
https://salsa.debian.org/ocaml-team/coq.git
Хранилище на изходния код на пакета (за разглеждане през браузър)
https://salsa.debian.org/ocaml-team/coq