Bug#1014975: ITP: coq-interval -- interval arithmetic 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-interval
  Version         : 4.5.1
  Upstream Author : Guillaume Melquiond et al
* URL             : https://coqinterval.gitlabpages.inria.fr/
* License         : CeCILL-C
  Programming Lang: Coq
  Description     : interval arithmetic for Coq
 This package provides tactics to simplify the
 proof of inequalities on expressions of real
 numbers.
 .
 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