Bug 250655

Summary:	dev-lang/maude-2.4
Product:	Gentoo Linux	Reporter:	Peter Simons <simons>
Component:	New packages	Assignee:	Gentoo Science Related Packages <sci>
Status:	RESOLVED FIXED
Severity:	enhancement	CC:	pchrist
Priority:	High
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	227529
Attachments:	maude-2.4.ebuild

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.