250655 – dev-lang/maude-2.4

Bug 250655 - dev-lang/maude-2.4

Summary: dev-lang/maude-2.4

Status:	RESOLVED FIXED

Alias:	None

Product:	Gentoo Linux
Classification:	Unclassified
Component:	New packages (show other bugs)
Hardware:	All Linux

Importance:	High enhancement (vote)
Assignee:	Gentoo Science Related Packages

URL:
Whiteboard:
Keywords:

Depends on:
Blocks:	227529
	Show dependency tree

Attachments
maude-2.4.ebuild (maude-2.4.ebuild,1.06 KB, text/plain) 2008-12-12 00:05 UTC, Peter Simons	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 Peter Simons 2008-12-12 00:04:20 UTC

Ebuild for release 2.4 of Maude and FullMaude.

Reproducible: Couldn't Reproduce

Comment 1 Peter Simons 2008-12-12 00:05:15 UTC

Created attachment 175014 [details]
maude-2.4.ebuild

Comment 2 Justin Lecher (RETIRED) gentoo-dev

2010-06-23 14:28:24 UTC

Bumped, thanks for the contribution.