Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 259477 - [science overlay] sci-mathematics/gappalib-coq
Summary: [science overlay] sci-mathematics/gappalib-coq
Status: CONFIRMED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All Linux
: High enhancement (vote)
Assignee: Default Assignee for New Packages
URL: http://lipforge.ens-lyon.fr/www/gappa/
Whiteboard: Science overlay
Keywords: EBUILD, InOverlay
Depends on: 259476
Blocks: 245806 245807
  Show dependency tree
 
Reported: 2009-02-18 14:13 UTC by Jonathan-Christofer Demay
Modified: 2011-06-20 06:19 UTC (History)
1 user (show)

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

Attachments
sci-mathematics/gappalib-coq/gappalib-coq-0.11.ebuild (gappalib-coq-0.11.ebuild,766 bytes, text/plain)
2009-02-18 14:15 UTC, Jonathan-Christofer Demay 		Details
sci-mathematics/gappalib-coq/gappalib-coq-0.11.ebuild (gappalib-coq-0.11.ebuild,885 bytes, text/plain)
2009-03-22 13:51 UTC, Jonathan-Christofer Demay 		Details
sci-mathematics/gappalib-coq/gappalib-coq-0.12.ebuild (gappalib-coq-0.12.ebuild,857 bytes, text/plain)
2009-10-23 23:20 UTC, Jonathan-Christofer Demay 		Details
sci-mathematics/gappalib-coq/gappalib-coq-0.12.ebuild (gappalib-coq-0.12.ebuild,828 bytes, text/plain)
2009-10-24 00:08 UTC, Jonathan-Christofer Demay 		Details
Show Obsolete (3) 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 Jonathan-Christofer Demay 2009-02-18 14:13:48 UTC 
This support library provides vernacular files so that the certificates Gappa generates can be imported by the Coq proof assistant.
Comment 1 Jonathan-Christofer Demay 2009-02-18 14:15:33 UTC 
Created attachment 182424 [details]
sci-mathematics/gappalib-coq/gappalib-coq-0.11.ebuild

A suggested ebuild.
Comment 2 Jonathan-Christofer Demay 2009-02-18 14:24:37 UTC 
Of course the ebuild for gappa is needed:
http://bugs.gentoo.org/show_bug.cgi?id=259476
Comment 3 Jonathan-Christofer Demay 2009-03-22 13:51:16 UTC 
Created attachment 185864 [details]
sci-mathematics/gappalib-coq/gappalib-coq-0.11.ebuild

A few clean ups
Install doc files
Comment 4 Jonathan-Christofer Demay 2009-10-23 23:20:20 UTC 
Created attachment 208087 [details]
sci-mathematics/gappalib-coq/gappalib-coq-0.12.ebuild

version bump
Comment 5 Jonathan-Christofer Demay 2009-10-24 00:08:52 UTC 
Created attachment 208102 [details]
sci-mathematics/gappalib-coq/gappalib-coq-0.12.ebuild

eapi2 update
Comment 6 Sébastien Fabbro (RETIRED) gentoo-dev 2010-01-13 17:33:39 UTC 
In science overlay now.