Package: wnpp X-Debbugs-Cc: debian-de...@lists.debian.org Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> 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