Bug#741345: ITP: mathematical-components -- Mathematical Components library for the Coq proof system

[Enrico Tassi <gareuselesinge@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Enrico Tassi <gareuselesinge@debian.org>

* Package name    : mathematical-components
  Version         : 1.4.0
  Upstream Author : Mathematical Components team
* URL             :  http://www.msr-inria.fr/projects/mathematical-components/
* License         : BSD
  Programming Lang: Coq
  Description     : Mathematical Components library for the Coq proof system

>From version 1.5, the ssreflect source package was split in two by the
aupstrem:
- ssreflect (OCaml plugin for Coq, plus a small set of Coq files)
- mathcomp (the rest of the Coq files)
While the former is in debian, the latter is not (yet).