Bug#1010767: ITP: coquelicot -- Coq library for real analysis
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org, jpuydt@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
Reply to:
- Prev by Date:
Processed: tagging 957397, tagging 957514, tagging 1001337, tagging 957758, tagging 978782, tagging 1001354 ...
- Next by Date:
Processing of coquelicot_3.2.0-1_amd64.changes
- Previous by thread:
Processed: tagging 957397, tagging 957514, tagging 1001337, tagging 957758, tagging 978782, tagging 1001354 ...
- Next by thread:
Processing of coquelicot_3.2.0-1_amd64.changes
- Index(es):