Bug#1010852: ITP: paramcoq -- Coq plugin to generate parametricity statements

[Julien Puydt <jpuydt@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Julien Puydt <jpuydt@debian.org>
X-Debbugs-Cc: debian-ocaml-maint@lists.debian.org, jpuydt@debian.org

* Package name    : paramcoq
  Version         : 1.1.3
  Upstream Author : Pierre Roux
* URL             : https://github.com/coq-community/paramcoq
* License         : Expat
  Programming Lang: Coq
  Description     : Coq plugin to generate parametricity statements
 This package provides a plugin for Coq to generate
 parametricity statements, typically used in data refinement
 proofs.
 .
 Coq is a proof assistant for higher-order logic.


I plan to maintain this package within the umbrella of the Coq OCaml
Maintainers team, along with the other coq-related packages.

Cheers,

J.Puydt