Bug#1013372: ITP: coq-dpdgraph -- Coq plugin to extract dependencies between Coq objects
Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>, jpuydt@debian.org
* Package name : coq-dpdgraph
Version : 1.0+8.15
Upstream Author : A.Pacalet, Y.Bertot, O.Pons
* URL : https://github.com/coq-community/coq-dpdgraph
* License : LGPL-2.1
Programming Lang: OCaml
Description : Coq plugin to extract dependencies between Coq objects
This package provides a plugin for Coq to extract dependencies
between Coq objects and produce files with dependency information.
.
Coq is a proof assistant for higher-order logic.
I plan to maintain it within the Debian OCaml Maintainers team along with the
rest of the Coq-related packages.
Cheers,
J.Puydt
Reply to: