все параметры
bookworm  ] [  trixie  ] [  sid  ]

Пакет исходного кода: coq-unicoq (1.6-8.18-1)

Ссылки для coq-unicoq

Ресурсы Debian:

Сопровождающие:

Внешние ресурсы:

Из этого пакета исходного кода собираются следующие двоичные пакеты:
libcoq-unicoq
enhanced unification algorithm for Coq

Другие пакеты, относящиеся к coq-unicoq

  • для сборки
  • build-depends-indep

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
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-unicoq.git
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://salsa.debian.org/ocaml-team/coq-unicoq