Bug 505496

Summary:	sci-mathematics/mathcomp-1.5 - The Mathematical Components Library for Ssreflect
Product:	Gentoo Linux	Reporter:	Christian D. <ThyrusG>
Component:	New packages	Assignee:	Default Assignee for New Packages <maintainer-wanted>
Status:	UNCONFIRMED ---
Severity:	enhancement	CC:	sci-mathematics
Priority:	Normal	Keywords:	EBUILD
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	http://www.msr-inria.fr/projects/mathematical-components-2/
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:	505472
Bug Blocks:
Attachments:	Proposed Ebuild

Description Christian D. 2014-03-23 19:29:16 UTC

This a proposed ebuild for the Mathematical Components Library. It contains a large number of mathematical theories for use with Coq/Ssreflect.

Comment 1 Christian D. 2014-03-23 19:29:45 UTC

Created attachment 373352 [details]
Proposed Ebuild