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

[Andreas Tille <tille@debian.org>]

Hi Enrico,

I guess you want to maintain this package in Debian Science team.  It
would be cool if you could CC team mailing list with interesting ITPs.

Kind regards and thanks for your work on this

     Andreas.

On Tue, Mar 11, 2014 at 01:41:34PM +0100, Enrico Tassi wrote:
> 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).
> 
> 
> -- 
> To UNSUBSCRIBE, email to debian-devel-REQUEST@lists.debian.org
> with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
> Archive: [🔎] 20140311124134.27670.70473.reportbug@birba.invalid">https://lists.debian.org/[🔎] 20140311124134.27670.70473.reportbug@birba.invalid
> 
> 

-- 
http://fam-tille.de