Bug 174399

Summary:	dev-utils/uppaal-tron-1.4_beta2 (new ebuild)
Product:	Gentoo Linux	Reporter:	Bjarke Freund-Hansen <gentoo-bugs>
Component:	New packages	Assignee:	Default Assignee for New Packages <maintainer-wanted>
Status:	CONFIRMED ---
Severity:	enhancement	Keywords:	EBUILD
Priority:	High
Version:	unspecified
Hardware:	x86
OS:	Linux
URL:	http://www.cs.aau.dk/~marius/tron/index.html
Whiteboard:	sunrise suggested
Package list:		Runtime testing required:	---
Attachments:	dev-util/uppaal-tron/uppaal-tron-1.4_beta2.ebuild licenses/uppaal-tron

Description Bjarke Freund-Hansen 2007-04-13 09:25:22 UTC

Hi

I'm attaching an new ebuild for uppaal-tron-1.4_beta2.

From the Uppaal TRON homepage: "Uppaal TRON is a testing tool, based on Uppaal engine, suited for black-box conformance testing of timed systems, mainly targeted for embedded software commonly found in various controllers. By online we mean that tests are derived, executed and checked simultaneously while maintaining the connection to the system in real-time."

Thanks

Reproducible: Always

Comment 1 Bjarke Freund-Hansen 2007-04-13 09:26:00 UTC

Created attachment 116136 [details]
dev-util/uppaal-tron/uppaal-tron-1.4_beta2.ebuild

Comment 2 Bjarke Freund-Hansen 2007-04-13 09:26:37 UTC

Created attachment 116138 [details]
licenses/uppaal-tron

License for Uppaal TRON

Comment 3 Jeremy Olexa (darkside) (RETIRED) archtester

2009-04-07 18:33:11 UTC

(this is an automated message based on filtering criteria that matched this bug)
'EBUILD' is in the KEYWORDS which should mean that there is a ebuild attached 
to this bug.
This bug is assigned to maintainer-wanted which means that it is not in the 
main tree.
Heuristics show that no Gentoo developer has commented on your ebuild.

Hello, The Gentoo Team would like to firstly thank you for your ebuild 
submission. We also apologize for not being able to accommodate you in a timely
manner. There are simply too many new packages.

Allow me to use this opportunity to introduce you to Gentoo Sunrise. The 
sunrise overlay[1] is a overlay for Gentoo which we allow trusted users to 
commit to and all users can have ebuilds reviewed by Gentoo devs for entry 
into the overlay. So, the sunrise team is suggesting that you look into this 
and submit your ebuild to the overlay where even *you* can commit to. =)

Because this is a mass message, we are also asking you to be patient with us. 
We anticipate a large number of requests in a short time. 

Thanks,
On behalf of the Gentoo Sunrise Team,
Jeremy.

[1]: http://www.gentoo.org/proj/en/sunrise/
[2]: http://overlays.gentoo.org/proj/sunrise/wiki/SunriseFaq