[Git][haskell-team/DHG_packages][master] Initial packaging of ogma-language-jsonspec-1.6.0
Scott Talbert (@swt2c)
gitlab at salsa.debian.org
Fri Feb 21 01:52:34 GMT 2025
Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages
Commits:
0d3ce37b by Scott Talbert at 2025-02-20T20:48:09-05:00
Initial packaging of ogma-language-jsonspec-1.6.0
- - - - -
7 changed files:
- + p/haskell-ogma-language-jsonspec/debian/changelog
- + p/haskell-ogma-language-jsonspec/debian/compat
- + p/haskell-ogma-language-jsonspec/debian/control
- + p/haskell-ogma-language-jsonspec/debian/copyright
- + p/haskell-ogma-language-jsonspec/debian/rules
- + p/haskell-ogma-language-jsonspec/debian/source/format
- + p/haskell-ogma-language-jsonspec/debian/watch
Changes:
=====================================
p/haskell-ogma-language-jsonspec/debian/changelog
=====================================
@@ -0,0 +1,5 @@
+haskell-ogma-language-jsonspec (1.6.0-1) unstable; urgency=low
+
+ * Initial release
+
+ -- Scott Talbert <swt at techie.net> Thu, 20 Feb 2025 20:42:10 -0500
=====================================
p/haskell-ogma-language-jsonspec/debian/compat
=====================================
@@ -0,0 +1 @@
+10
=====================================
p/haskell-ogma-language-jsonspec/debian/control
=====================================
@@ -0,0 +1,79 @@
+Source: haskell-ogma-language-jsonspec
+Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
+Uploaders: Scott Talbert <swt at techie.net>
+Priority: optional
+Section: haskell
+Rules-Requires-Root: no
+Build-Depends: debhelper (>= 10),
+ haskell-devscripts-minimal | haskell-devscripts (>= 0.13),
+ cdbs,
+ ghc,
+ ghc-prof,
+ libghc-aeson-dev (>= 2.0.0.0),
+ libghc-aeson-dev (<< 2.2),
+ libghc-aeson-prof,
+ libghc-jsonpath-dev (>= 0.3),
+ libghc-jsonpath-dev (<< 0.4),
+ libghc-jsonpath-prof,
+ libghc-megaparsec-dev (>= 8.0.0),
+ libghc-megaparsec-dev (<< 9.10),
+ libghc-megaparsec-prof,
+ libghc-ogma-spec-dev (>= 1.6.0),
+ libghc-ogma-spec-dev (<< 1.7),
+ libghc-ogma-spec-prof,
+Build-Depends-Indep: ghc-doc,
+ libghc-aeson-doc,
+ libghc-jsonpath-doc,
+ libghc-megaparsec-doc,
+ libghc-ogma-spec-doc,
+Standards-Version: 4.7.0
+Homepage: https://github.com/nasa/ogma
+Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-ogma-language-jsonspec
+Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-ogma-language-jsonspec]
+X-Description: Ogma: Runtime Monitor translator: JSON Frontend
+ Ogma is a tool to facilitate the integration of safe runtime monitors into
+ other systems. Ogma extends
+ <https://github.com/Copilot-Language/copilot Copilot>, a high-level runtime
+ verification framework that generates hard real-time C99 code.
+ .
+ This library contains a frontend to read specifications from JSON files.
+
+Package: libghc-ogma-language-jsonspec-dev
+Architecture: any
+Depends: ${haskell:Depends},
+ ${misc:Depends},
+ ${shlibs:Depends},
+Recommends: ${haskell:Recommends},
+Suggests: ${haskell:Suggests},
+Conflicts: ${haskell:Conflicts},
+Provides: ${haskell:Provides},
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
+
+Package: libghc-ogma-language-jsonspec-prof
+Architecture: any
+Depends: ${haskell:Depends},
+ ${misc:Depends},
+Recommends: ${haskell:Recommends},
+Suggests: ${haskell:Suggests},
+Conflicts: ${haskell:Conflicts},
+Provides: ${haskell:Provides},
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
+
+Package: libghc-ogma-language-jsonspec-doc
+Architecture: all
+Section: doc
+Depends: ${haskell:Depends},
+ ${misc:Depends},
+Recommends: ${haskell:Recommends},
+Suggests: ${haskell:Suggests},
+Conflicts: ${haskell:Conflicts},
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
=====================================
p/haskell-ogma-language-jsonspec/debian/copyright
=====================================
@@ -0,0 +1,301 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: ogma-language-jsonspec
+Upstream-Contact: ivan.perezdominguez at nasa.gov
+Source: https://hackage.haskell.org/package/ogma-language-jsonspec
+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 2024 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 at 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 at 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.
=====================================
p/haskell-ogma-language-jsonspec/debian/rules
=====================================
@@ -0,0 +1,9 @@
+#!/usr/bin/make -f
+
+DEB_SETUP_BIN_NAME = debian/hlibrary.setup
+DEB_CABAL_PACKAGE = ogma-language-jsonspec
+DEB_DEFAULT_COMPILER = ghc
+DEB_ENABLE_TESTS = yes
+
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/hlibrary.mk
=====================================
p/haskell-ogma-language-jsonspec/debian/source/format
=====================================
@@ -0,0 +1 @@
+3.0 (quilt)
=====================================
p/haskell-ogma-language-jsonspec/debian/watch
=====================================
@@ -0,0 +1,2 @@
+version=4
+https://hackage.haskell.org/package/ogma-language-jsonspec/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/0d3ce37b344d9193ea5362fdfa9a57732a130d65
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/0d3ce37b344d9193ea5362fdfa9a57732a130d65
You're receiving this email because of your account on salsa.debian.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20250221/7407ea39/attachment-0001.htm>
More information about the Pkg-haskell-commits
mailing list