Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: ogma-language-smv
Upstream-Contact: ivan.perezdominguez@nasa.gov
Source: https://hackage.haskell.org/package/ogma-language-smv
Disclaimer:
Ogma is in non-free because the NASA Open Source Agreement (NASA-1.3) has been
determined to not be DFSG-compatible.
Files: *
Copyright:
Copyright 2020 United States Government as represented by the Administrator
of the National Aeronautics and Space Administration. All Rights Reserved.
License: NASA-1.3
Files: debian/*
Copyright: held by the contributors mentioned in debian/changelog
License: BSD-3-clause
License: NASA-1.3
NASA OPEN SOURCE AGREEMENT VERSION 1.3
.
THIS OPEN SOURCE AGREEMENT (“AGREEMENT”) DEFINES THE RIGHTS OF USE,
REPRODUCTION, DISTRIBUTION, MODIFICATION AND REDISTRIBUTION OF CERTAIN
COMPUTER SOFTWARE ORIGINALLY RELEASED BY THE UNITED STATES GOVERNMENT
AS REPRESENTED BY THE GOVERNMENT AGENCY LISTED BELOW ("GOVERNMENT
AGENCY"). THE UNITED STATES GOVERNMENT, AS REPRESENTED BY GOVERNMENT
AGENCY, IS AN INTENDED THIRD-PARTY BENEFICIARY OF ALL SUBSEQUENT
DISTRIBUTIONS OR REDISTRIBUTIONS OF THE SUBJECT SOFTWARE. ANYONE WHO
USES, REPRODUCES, DISTRIBUTES, MODIFIES OR REDISTRIBUTES THE SUBJECT
SOFTWARE, AS DEFINED HEREIN, OR ANY PART THEREOF, IS, BY THAT ACTION,
ACCEPTING IN FULL THE RESPONSIBILITIES AND OBLIGATIONS CONTAINED IN THIS
AGREEMENT.
.
Government Agency: National Aeronautics and Space Administration
Government Agency Original Software Designation: LAR-19874-1
Government Agency Original Software Title: Connector for Copilot Runtime Verification Framework
Government Agency Point of Contact for Original Software: alwyn.e.goodloe@nasa.gov
.
1. DEFINITIONS
.
A. “Contributor” means Government Agency, as the developer of the Original
Software, and any entity that makes a Modification.
B. “Covered Patents” mean patent claims licensable by a Contributor that are
necessarily infringed by the use or sale of its Modification alone or
when combined with the Subject Software.
C. “Display” means the showing of a copy of the Subject Software, either
directly or by means of an image, or any other device.
D. “Distribution” means conveyance or transfer of the Subject Software,
regardless of means, to another.
E. “Larger Work” means computer software that combines Subject Software, or
portions thereof, with software separate from the Subject Software that is
not governed by the terms of this Agreement.
F. “Modification” means any alteration of, including addition to or deletion
from, the substance or structure of either the Original Software or
Subject Software, and includes derivative works, as that term is defined
in the Copyright Statute, 17 USC 101.
However, the act of including Subject Software as part of a Larger Work
does not in and of itself constitute a Modification.
G. “Original Software” means the computer software first released under this
Agreement by Government Agency with Government Agency designation
LAR-19847-1 and entitled Connector for Copilot Runtime Verification
Framework, including source code, object code and accompanying
documentation, if any.
H. “Recipient” means anyone who acquires the Subject Software under this
Agreement, including all Contributors.
I. “Redistribution” means Distribution of the Subject Software after a
Modification has been made.
J. “Reproduction” means the making of a counterpart, image or copy of the
Subject Software.
K. “Sale” means the exchange of the Subject Software for money or equivalent
value.
L. “Subject Software” means the Original Software, Modifications, or any
respective parts thereof.
M. “Use” means the application or employment of the Subject Software for any
purpose.
.
2. GRANT OF RIGHTS
.
A. Under Non-Patent Rights: Subject to the terms and conditions of this
Agreement, each Contributor, with respect to its own contribution to the
Subject Software, hereby grants to each Recipient a non-exclusive,
world-wide, royalty-free license to engage in the following activities
pertaining to the Subject Software:
.
1. Use
2. Distribution
3. Reproduction
4. Modification
5. Redistribution
6. Display
.
B. Under Patent Rights: Subject to the terms and conditions of this
Agreement, each Contributor, with respect to its own contribution to the
Subject Software, hereby grants to each Recipient under Covered Patents a
non-exclusive, world-wide, royalty-free license to engage in the
following activities pertaining to the Subject Software:
.
1. Use
2. Distribution
3. Reproduction
4. Sale
5. Offer for Sale
.
C. The rights granted under Paragraph B. also apply to the combination of a
Contributor’s Modification and the Subject Software if, at the time the
Modification is added by the Contributor, the addition of such
Modification causes the combination to be covered by the Covered Patents.
It does not apply to any other combinations that include a Modification.
.
D. The rights granted in Paragraphs A. and B. allow the Recipient to
sublicense those same rights. Such sublicense must be under the same terms
and conditions of this Agreement.
.
3. OBLIGATIONS OF RECIPIENT
.
A. Distribution or Redistribution of the Subject Software must be made under
this Agreement except for additions covered under paragraph 3H.
.
1. Whenever a Recipient distributes or redistributes the Subject Software,
a copy of this Agreement must be included with each copy of the Subject
Software; and
2. If Recipient distributes or redistributes the Subject Software in any
form other than source code, Recipient must also make the source code
freely available, and must provide with each copy of the Subject
Software information on how to obtain the source code in a reasonable
manner on or through a medium customarily used for software exchange.
.
B. Each Recipient must ensure that the following copyright notice appears
prominently in the Subject Software:
.
This software may be used, reproduced, and provided to others only as
permitted under the terms of the agreement under which it was acquired
from the U.S. Government.
Neither title to, nor ownership of, the software is hereby transferred.
This notice shall remain on all copies of the software.
.
See Appendix A for additional copyright notices, licenses and conditions
.
C. Each Contributor must characterize its alteration of the Subject Software
as a Modification and must identify itself as the originator of its
Modification in a manner that reasonably allows subsequent Recipients to
identify the originator of the Modification. In fulfillment of these
requirements, Contributor must include a file (e.g., a change log file)
that describes the alterations made and the date of the alterations,
identifies Contributor as originator of the alterations, and consents to
characterization of the alterations as a Modification, for example, by
including a statement that the Modification is derived, directly or
indirectly, from Original Software provided by Government Agency. Once
consent is granted, it may not thereafter be revoked.
.
D. A Contributor may add its own copyright notice to the Subject Software.
Once a copyright notice has been added to the Subject Software, a
Recipient may not remove it without the express permission of the
Contributor who added the notice.
.
E. A Recipient may not make any representation in the Subject Software or in
any promotional, advertising or other material that may be construed as an
endorsement by Government Agency or by any prior Recipient of any product
or service provided by Recipient, or that may seek to obtain commercial
advantage by the fact of Government Agency's or a prior Recipient’s
participation in this Agreement.
.
F. In an effort to track usage and maintain accurate records of the Subject
Software, each Recipient, upon receipt of the Subject Software, is
requested to provide Government Agency, by e-mail to the Government
Agency Point of Contact listed in clause 5.F., the following information:
First and Last Name; Email Address; and Affiliation.
Recipient’s name and personal information shall be used for statistical
purposes only.
Once a Recipient makes a Modification available, it is requested that the
Recipient inform Government Agency, by e-mail to the Government Agency
Point of Contact listed in clause 5.F., how to access the Modification.
.
G. Each Contributor represents that that its Modification is believed to be
Contributor’s original creation and does not violate any existing
agreements, regulations, statutes or rules, and further that Contributor
has sufficient rights to grant the rights conveyed by this Agreement.
.
H. A Recipient may choose to offer, and to charge a fee for, warranty,
support, indemnity and/or liability obligations to one or more other
Recipients of the Subject Software. A Recipient may do so, however, only
on its own behalf and not on behalf of Government Agency or any other
Recipient. Such a Recipient must make it absolutely clear that any such
warranty, support, indemnity and/or liability obligation is offered by
that Recipient alone. Further, such Recipient agrees to indemnify
Government Agency and every other Recipient for any liability incurred by
them as a result of warranty, support, indemnity and/or liability offered
by such Recipient.
.
I. A Recipient may create a Larger Work by combining Subject Software with
separate software not governed by the terms of this agreement and
distribute the Larger Work as a single product. In such case, the
Recipient must make sure Subject Software, or portions thereof, included
in the Larger Work is subject to this Agreement.
.
J. Notwithstanding any provisions contained herein, Recipient is hereby put
on notice that export of any goods or technical data from the United
States may require some form of export license from the U.S. Government.
Failure to obtain necessary export licenses may result in criminal
liability under U.S. laws. Government Agency neither represents that a
license shall not be required nor that, if required, it shall be issued.
Nothing granted herein provides any such export license.
.
4. DISCLAIMER OF WARRANTIES AND LIABILITIES; WAIVER AND INDEMNIFICATION
.
A. No Warranty: THE SUBJECT SOFTWARE IS PROVIDED “AS IS” WITHOUT
ANY WARRANTY OF ANY KIND, EITHER EXPRESSED, IMPLIED, OR
STATUTORY, INCLUDING, BUT NOT LIMITED TO, ANY WARRANTY THAT
THE SUBJECT SOFTWARE WILL CONFORM TO SPECIFICATIONS, ANY
IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR A
PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY
WARRANTY THAT THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR
ANY WARRANTY THAT DOCUMENTATION, IF PROVIDED, WILL CONFORM
TO THE SUBJECT SOFTWARE. THIS AGREEMENT DOES NOT, IN ANY
MANNER, CONSTITUTE AN ENDORSEMENT BY GOVERNMENT AGENCY
OR ANY PRIOR RECIPIENT OF ANY RESULTS, RESULTING DESIGNS,
HARDWARE, SOFTWARE PRODUCTS OR ANY OTHER APPLICATIONS
RESULTING FROM USE OF THE SUBJECT SOFTWARE. FURTHER,
GOVERNMENT AGENCY DISCLAIMS ALL WARRANTIES AND LIABILITIES
REGARDING THIRD-PARTY SOFTWARE, IF PRESENT IN THE ORIGINAL
SOFTWARE, AND DISTRIBUTES IT “AS IS.”
.
B. Waiver and Indemnity: RECIPIENT AGREES TO WAIVE ANY AND ALL
CLAIMS AGAINST THE UNITED STATES GOVERNMENT, ITS
CONTRACTORS AND SUBCONTRACTORS, AS WELL AS ANY PRIOR
RECIPIENT. IF RECIPIENT'S USE OF THE SUBJECT SOFTWARE RESULTS IN
ANY LIABILITIES, DEMANDS, DAMAGES, EXPENSES OR LOSSES ARISING
FROM SUCH USE, INCLUDING ANY DAMAGES FROM PRODUCTS BASED
ON, OR RESULTING FROM, RECIPIENT'S USE OF THE SUBJECT SOFTWARE,
RECIPIENT SHALL INDEMNIFY AND HOLD HARMLESS THE UNITED
STATES GOVERNMENT, ITS CONTRACTORS AND SUBCONTRACTORS, AS
WELL AS ANY PRIOR RECIPIENT, TO THE EXTENT PERMITTED BY LAW.
RECIPIENT'S SOLE REMEDY FOR ANY SUCH MATTER SHALL BE THE
IMMEDIATE, UNILATERAL TERMINATION OF THIS AGREEMENT.
.
5. GENERAL TERMS
.
A. Termination: This Agreement and the rights granted hereunder will
terminate automatically if a Recipient fails to comply with these terms
and conditions, and fails to cure such noncompliance within thirty (30)
days of becoming aware of such noncompliance. Upon termination, a
Recipient agrees to immediately cease use and distribution of the Subject
Software. All sublicenses to the Subject Software properly granted by the
breaching Recipient shall survive any such termination of this Agreement.
.
B. Severability: If any provision of this Agreement is invalid or
unenforceable under applicable law, it shall not affect the validity or
enforceability of the remainder of the terms of this Agreement.
.
C. Applicable Law: This Agreement shall be subject to United States federal
law only for all purposes, including, but not limited to, determining the
validity of this Agreement, the meaning of its provisions and the rights,
obligations and remedies of the parties.
.
D. Entire Understanding: This Agreement constitutes the entire understanding
and agreement of the parties relating to release of the Subject Software
and may not be superseded, modified or amended except by further written
agreement duly executed by the parties.
.
E. Binding Authority: By accepting and using the Subject Software under this
Agreement, a Recipient affirms its authority to bind the Recipient to all
terms and conditions of this Agreement and that that Recipient hereby
agrees to all terms and conditions herein.
.
F. Point of Contact: Any Recipient contact with Government Agency is to be
directed to the designated representative as follows:
.
Bonnie Lumanog
Software Release Authority
MS 151, NASA Langley Research Center
Hampton, VA 23681
Phone: 757-864-2933
Email: larc-sra@mail.nasa.gov
License: BSD-3-clause
Redistribution and use in source and binary forms, with or without
modification, are permitted provided that the following conditions
are met:
.
Redistributions of source code must retain the above copyright
notice, this list of conditions and the following disclaimer.
.
Redistributions in binary form must reproduce the above copyright
notice, this list of conditions and the following disclaimer in the
documentation and/or other materials provided with the distribution.
.
Neither the name of the developers nor the names of its contributors
may be used to endorse or promote products derived from this software
without specific prior written permission.
.
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.