Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 505496 - sci-mathematics/mathcomp-1.5 - The Mathematical Components Library for Ssreflect
Summary: sci-mathematics/mathcomp-1.5 - The Mathematical Components Library for Ssreflect
Status: UNCONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: Normal enhancement
Assignee: Default Assignee for New Packages
URL: http://www.msr-inria.fr/projects/math...
Whiteboard:
Keywords: EBUILD
Depends on: 505472
Blocks:
  Show dependency tree
 
Reported: 2014-03-23 19:29 UTC by Christian D.
Modified: 2014-03-24 13:19 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
Proposed Ebuild (mathcomp-1.5.ebuild,540 bytes, text/plain)
2014-03-23 19:29 UTC, Christian D. 		Details
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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