205124 – Package Community Z Tools (ebuild request)

Bug 205124 - Package Community Z Tools (ebuild request)

Summary: Package Community Z Tools (ebuild request)

Status:	RESOLVED WONTFIX

Alias:	None

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

Importance:	High enhancement (vote)
Assignee:	Default Assignee for New Packages

URL:	http://czt.sourceforge.net/
Whiteboard:
Keywords:

Depends on:
Blocks:

Reported:	2008-01-09 21:55 UTC by Andrew John Hughes
Modified:	2016-01-26 17:08 UTC (History)
CC List:	1 user (show)

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

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 Andrew John Hughes 2008-01-09 21:55:44 UTC

A series of tools for the Z formal specification language written in Java.
Build system uses Maven so will need the java-maven-2 e-class.

Comment 1 Patrice Clement gentoo-dev

2016-01-26 14:58:22 UTC

Andy, it's been years since you filed this bug. What do you want to do with this request?

Comment 2 Andrew John Hughes 2016-01-26 17:08:03 UTC

As far as I remember, this was filed on the behalf of a fellow PhD student. I personally have no interest in it now (or even back then), so, now it's had its 8th birthday party, let's close it.