Bug 39399 – Submission: dev-util/maude-2.0.1.ebuild

• Status: RESOLVED FIXED
• Product: Gentoo Linux

[Description Peter Simons 2004-01-25 17:22:57 UTC]

Works fine on x86.

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

[Comment 1 Peter Simons 2004-01-25 17:23:33 UTC]

Created attachment 24423 [details]
dev-util/maude/maude-2.0.1.ebuild

[Comment 2 Peter Simons 2004-04-05 08:45:17 UTC]

Is there anything happening concerning this package? It has been waiting here for a quite a while now ...

[Comment 3 Patrick Kursawe (RETIRED) 2004-04-05 22:37:14 UTC]

still six months less than some other stuff we still have in our queue for enhancement requests... please be patient.

[Comment 4 Olivier Fisette (RETIRED) 2004-05-22 21:59:37 UTC]

Created attachment 31872 [details]
maude-2.1.ebuild - Updated ebuild

- New version
- Added ps and pdf manuals
- Added example files
- Set the MAUDE_LIB environment variable

[Comment 5 Olivier Fisette (RETIRED) 2004-05-22 22:00:24 UTC]

Created attachment 31873 [details]
23maude - Env file

Goes with 31872

[Comment 6 Olivier Fisette (RETIRED) 2004-05-22 22:01:30 UTC]

Created attachment 31874 [details]
meta-data.xml

Goes with 31872

- Assigns the package to the science herd
- Provides extended description

[Comment 7 Patrick Kursawe (RETIRED) 2004-05-27 03:11:49 UTC]

Except that it's metadata.xml, not meta-data.xml, I've put this into portage. Thanks.

[Comment 8 Peter Simons 2004-05-27 04:41:46 UTC]

Just installed maude 2.1 on my x86 machine using this ebuild, and it worked fine.