Package: wnpp X-Debbugs-Cc: debian-de...@lists.debian.org Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org Severity: wishlist
* Package name : mathcomp-analysis Version : 0.3.13 Upstream Author : Reynald Affeldt, Cyril Cohen, Assia Mahboubi, Damien Rouhling, Pierre-Yves Strub * URL : https://github.com/math-comp/analysis * License : CeCILL-B Programming Lang: Coq Description : analysis extension for Mathematical Components This package provides an extension for classical analysis for the Mathematical Components library. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant. I plan to support it within the Debian Ocaml Maintainers team, alongside the other Coq-related packages we have. Cheers, J.Puydt
