Package: wnpp Severity: wishlist Owner: Julien Puydt <jpu...@debian.org> X-Debbugs-Cc: debian-ocaml-ma...@lists.debian.org, jpu...@debian.org
* Package name : coquelicot Version : 3.2.0 Upstream Author : S.Boldo, C.Lelay and G.Melquiond * URL : https://coquelicot.saclay.inria.fr/ * License : LGPL-3 Programming Lang: Coq Description : Coq library for real analysis This package provides a formalization of real analysis compatible with the Coq standard library. . Coq is a proof assistant for higher-order logic. I plan to maintain the package within the Debian OCaml maintainers team, along with the other Coq-related packages. Cheers, J.Puydt
