toutes les options
bookworm  ] [  trixie  ] [  sid  ]

Paquet source : coq-ext-lib (0.12.0-1)

Liens pour coq-ext-lib

Ressources Debian :

Responsables :

Ressources externes :

Les paquets binaires suivants sont compilés à partir de ce paquet source :
libcoq-ext-lib
Collection of theories and plugins for Coq

Autres paquets associés à coq-ext-lib

  • build-depends
  • build-depends-indep

Download coq-ext-lib

FichierTaille (en ko)Somme MD5
coq-ext-lib_0.12.0-1.dsc 2,0 ko 0593ce3c7526712cf4120ddfc9ab5c0f
coq-ext-lib_0.12.0.orig.tar.gz 81,5 ko ab08c703d854fdb90f35cf40614e089a
coq-ext-lib_0.12.0-1.debian.tar.xz 2,2 ko 3d768bce935197b7e3d216a6ccc7b08c
Dépôt Debian des paquets source (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-ext-lib.git
Dépôt Debian des paquets source (interface web)
https://salsa.debian.org/ocaml-team/coq-ext-lib