Package: wnpp Severity: wishlist Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>, jpu...@debian.org
* Package name : coqeal Version : 1.1.0 Upstream Author : Guillaume Cano, Cyril Cohen, Maxime Dénès, Anders Mörtberg, Vincent Siles * URL : https://github.com/coq-community/coqeal * License : Expat Programming Lang: Coq Description : algebra and data structure algorithms for Coq This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework. . Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq. I plan to maintain this package within the Debian OCaml Maintainers team along with the other Coq-related packages. Cheers, J.Puydt
