toutes les options
bookworm  ] [  trixie  ] [  sid  ]

Paquet source : coq-unimath (20231010-1)

Liens pour coq-unimath

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
libcoq-unimath
univalent formalization of mathematics for Coq

Autres paquets associés à coq-unimath

  • build-depends
  • build-depends-indep

Download coq-unimath

FichierTaille (en ko)Somme MD5
coq-unimath_20231010-1.dsc 2,1 ko 5cbc38eac51bc1089875ec1076b64952
coq-unimath_20231010.orig.tar.gz 2 825,2 ko fa01c7733174c7ac4c161b610dd7f858
coq-unimath_20231010-1.debian.tar.xz 2,0 ko 64e61e068b79c4004760ab27931969ab
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-unimath.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/ocaml-team/coq-unimath