Package: wnpp Severity: wishlist Owner: Enrico Tassi <gareuselesi...@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). -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140311124134.27670.70473.reportbug@birba.invalid
