Package: wnpp X-Debbugs-Cc: [email protected] Owner: Julien Puydt <[email protected]> X-Debbugs-Cc: Debian OCaml Maintainers <[email protected]> Severity: wishlist
* Package name : coq-hierarchy-builder Version : 1.2.0 Upstream Author : Cyril Cohen, Kazuhiko Sakaguchi, Enrico Tassi * URL : https://github.com/math-comp/hierarchy-builder * License : Expat Programming Lang: OCaml Description : build hierarchies of algebraic structures in Coq This software provides high-level commands to build hierarchies of algebraic structures in the Coq system. It will be a new dep for coming versions of mathcomp. I plan to maintain it within the Debian OCaml Maintainers team. Cheers, J.Puydt
