Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 116138 Details for
Bug 174399
dev-utils/uppaal-tron-1.4_beta2 (new ebuild)
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
licenses/uppaal-tron
uppaal-tron (text/plain), 1.08 KB, created by
Bjarke Freund-Hansen
on 2007-04-13 09:26:37 UTC
(
hide
)
Description:
licenses/uppaal-tron
Filename:
MIME Type:
Creator:
Bjarke Freund-Hansen
Created:
2007-04-13 09:26:37 UTC
Size:
1.08 KB
patch
obsolete
>We (the licensee) understand that UPPAAL includes but is not limited to the programs: uppaal2k.jar, uppaal2k, server, socketserver, atg2ugi, atg2ta, atg2hs2ta, hs2ta, checkta, simta, verifyta, tron, tron-s, uppaal, and xuppaal and that they are supplied "as is", without expressed or implied warranty. We agree on the following: > >1. You (the licensers) do not have any obligation to provide any maintenance or consulting help with respect to UPPAAL. > >2. You neither have any responsibility for the correctness of systems verified using UPPAAL, nor for the correctness of UPPAAL itself. > >3. We will never distribute or modify any part of the UPPAAL code (i.e. the source code and the object code) without a written permission of Wang Yi (Uppsala University) or Kim G Larsen (Aalborg University). > >4. We will only use UPPAAL for non-profit research purposes. This implies that neither UPPAAL nor any part of its code should be used or modified for any commercial software product. > >In the event that you should release new versions of UPPAAL to us, we agree that they will also fall under all of these terms. >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 174399
:
116136
| 116138