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

Пакет-източник: coq-unicoq (1.6-8.18-1)

Връзки за coq-unicoq

Ресурси за Debian:

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

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

Следните двоични пакети са компилирани от този пакет-източник:
libcoq-unicoq
enhanced unification algorithm for Coq

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

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

Download coq-unicoq

ФайлГолемина (в кБ)контролна сума MD5
coq-unicoq_1.6-8.18-1.dsc 2,0 кБ c6951b1dba78ebb288f648f509d740b8
coq-unicoq_1.6-8.18.orig.tar.gz 579,7 кБ 408728377d894cb6125443ebed4ad9a8
coq-unicoq_1.6-8.18-1.debian.tar.xz 2,5 кБ 53ada4d11d6470b391e81a86ab695787
Хранилище на изходния код на пакета (СКП: Git)
https://salsa.debian.org/ocaml-team/coq-unicoq.git
Хранилище на изходния код на пакета (за разглеждане през браузър)
https://salsa.debian.org/ocaml-team/coq-unicoq