eLxr packages

 / Paquets / bianca (stable) / Source / - / coq-unicoq

[  bianca  ]

Liens pour coq-unicoq

• Dépôt de source Debian (Git)
• Suivis des correctifs pour eLxr

Responsables :

• Debian OCaml Maintainers
• Julien Puydt

Ressources externes :

• Page d'accueil [github.com]

Les paquets binaires suivants sont compilés à partir de ce paquet source :

libcoq-unicoq

enhanced unification algorithm for Coq

Autres paquets associés à coq-unicoq

build-depends

build-depends-indep

• adep: coq (>= 8.18)

  proof assistant for higher-order logic (toplevel and compiler)

• adep: debhelper-compat (= 13)

  Paquet indisponible

• adep: dh-coq

  debhelper tool for Coq-related Debian packages

• adep: dh-ocaml

  helper tools for maintaining OCaml-related Debian packages

• adep: libcoq-core-ocaml-dev

  development libraries and tools for Coq

• adep: libcoq-stdlib

  proof assistant for higher-order logic (theories)

Download coq-unicoq

Fichier	Taille (en ko)	Somme MD5
coq-unicoq_1.6-8.20-1.debian.tar.xz	2,7 ko	af608f57b7230f12dec2608795645eac
coq-unicoq_1.6-8.20-1.dsc	2,0 ko	e0e43c0f2f71db80d819017a875289cf
coq-unicoq_1.6-8.20.orig.tar.gz	579,8 ko	1c2a90a1a5c2652e77472d1498520367

Dépôt Debian des paquets source (VCS: Git)

https://salsa.debian.org/ocaml-team/coq-unicoq.git

Dépôt Debian des paquets source (interface web)

https://salsa.debian.org/ocaml-team/coq-unicoq