Package: wnpp Severity: wishlist Owner: Enrico Tassi <[email protected]>
* 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]
