59876 – New version of maude is out. maude-2.1.1 with full-maude.maude 2.1.1

Bug 59876 - New version of maude is out. maude-2.1.1 with full-maude.maude 2.1.1

Summary: New version of maude is out. maude-2.1.1 with full-maude.maude 2.1.1

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:

Attachments
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 Fredrik Normann 2004-08-09 10:21:34 UTC

http://bugs.gentoo.org/show_bug.cgi?id=39399

Reproducible: Always
Steps to Reproduce:
1.
2.
3.




http://maude.cs.uiuc.edu/versions/2.1.1/

Comment 1 Olivier Fisette (RETIRED) gentoo-dev

2004-08-11 14:56:20 UTC

Thanks for the notice. Added to Portage. I also added maude primer examples and support for a regression test.