Bug#1014585: ITP: coq-stdpp -- Extended standard library for Coq

[Julien Puydt <jpuydt@debian.org>]

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-stdpp
  Version         : 1.7.0
  Upstream Author : std++ team
* URL             : https://gitlab.mpi-sws.org/iris/stdpp
* License         : BSD-3-clause
  Programming Lang: Coq
  Description     : Extended standard library for Coq
 This package provides an extended standard library
 for Coq, for instance:
 - a great number of definitions and lemmas for common data
 structures like lists, finite maps and finite multisets ;
 - type classes for common properties like decidable equality,
 finiteness or countability ;
 - various tactics for common tasks ;
 all of this dependency-free and axiom-free.
 .
 Coq is a proof assistant for higher-order logic.


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

Cheers,

J.Puydt