[Git][haskell-team/DHG_packages][master] Remove haskell-ogma-language-cocospec
Scott Talbert (@swt2c)
gitlab at salsa.debian.org
Wed Mar 26 01:57:42 GMT 2025
Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages
Commits:
8ce7abae by Scott Talbert at 2025-03-25T21:57:19-04:00
Remove haskell-ogma-language-cocospec
- - - - -
9 changed files:
- − p/haskell-ogma-language-cocospec/debian/changelog
- − p/haskell-ogma-language-cocospec/debian/compat
- − p/haskell-ogma-language-cocospec/debian/control
- − p/haskell-ogma-language-cocospec/debian/copyright
- − p/haskell-ogma-language-cocospec/debian/patches/newer-cabal
- − p/haskell-ogma-language-cocospec/debian/patches/series
- − p/haskell-ogma-language-cocospec/debian/rules
- − p/haskell-ogma-language-cocospec/debian/source/format
- − p/haskell-ogma-language-cocospec/debian/watch
Changes:
=====================================
p/haskell-ogma-language-cocospec/debian/changelog deleted
=====================================
@@ -1,5 +0,0 @@
-haskell-ogma-language-cocospec (1.6.0-1) unstable; urgency=low
-
- * Initial release
-
- -- Scott Talbert <swt at techie.net> Thu, 20 Feb 2025 00:02:24 -0500
=====================================
p/haskell-ogma-language-cocospec/debian/compat deleted
=====================================
@@ -1 +0,0 @@
-10
=====================================
p/haskell-ogma-language-cocospec/debian/control deleted
=====================================
@@ -1,77 +0,0 @@
-Source: haskell-ogma-language-cocospec
-Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
-Uploaders: Scott Talbert <swt at techie.net>
-Priority: optional
-Section: non-free/haskell
-Rules-Requires-Root: no
-Build-Depends: debhelper (>= 10),
- haskell-devscripts-minimal | haskell-devscripts (>= 0.13),
- cdbs,
- ghc,
- ghc-prof,
- alex,
- bnfc (>= 2.9.1),
- bnfc (<< 2.10),
- happy,
- libghc-quickcheck2-dev (>= 2.8.2),
- libghc-quickcheck2-dev (<< 2.16),
- libghc-quickcheck2-prof,
- libghc-test-framework-dev (>= 0.8.2),
- libghc-test-framework-dev (<< 0.9),
- libghc-test-framework-prof,
- libghc-test-framework-quickcheck2-dev (>= 0.3.0.4),
- libghc-test-framework-quickcheck2-dev (<< 0.4),
- libghc-test-framework-quickcheck2-prof,
-Build-Depends-Indep: ghc-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-cocospec
-Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-ogma-language-cocospec]
-X-Description: Ogma: Runtime Monitor translator: CoCoSpec Language 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 CoCoSpec Boolean expressions, used by
- the tool FRET to capture requirement specifications.
-
-Package: libghc-ogma-language-cocospec-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-cocospec-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-cocospec-doc
-Architecture: all
-Section: non-free/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-cocospec/debian/copyright deleted
=====================================
@@ -1,301 +0,0 @@
-Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
-Upstream-Name: ogma-language-cocospec
-Upstream-Contact: ivan.perezdominguez at nasa.gov
-Source: https://hackage.haskell.org/package/ogma-language-cocospec
-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 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-cocospec/debian/patches/newer-cabal deleted
=====================================
@@ -1,11 +0,0 @@
---- a/ogma-language-cocospec.cabal
-+++ b/ogma-language-cocospec.cabal
-@@ -71,7 +71,7 @@ source-repository head
- custom-setup
- setup-depends:
- base >= 4.11.0.0 && < 5
-- , Cabal >= 2.0 && < 3.9
-+ , Cabal >= 2.0 && < 3.15
- , process >= 1.6 && < 1.7
- , BNFC >= 2.9.1 && < 2.10
-
=====================================
p/haskell-ogma-language-cocospec/debian/patches/series deleted
=====================================
@@ -1 +0,0 @@
-newer-cabal
=====================================
p/haskell-ogma-language-cocospec/debian/rules deleted
=====================================
@@ -1,9 +0,0 @@
-#!/usr/bin/make -f
-
-DEB_SETUP_BIN_NAME = debian/hlibrary.setup
-DEB_CABAL_PACKAGE = ogma-language-cocospec
-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-cocospec/debian/source/format deleted
=====================================
@@ -1 +0,0 @@
-3.0 (quilt)
=====================================
p/haskell-ogma-language-cocospec/debian/watch deleted
=====================================
@@ -1,2 +0,0 @@
-version=4
-https://hackage.haskell.org/package/ogma-language-cocospec/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/8ce7abae0b679be37d77b3643737fa280cbb852e
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/8ce7abae0b679be37d77b3643737fa280cbb852e
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/20250326/af8de24b/attachment-0001.htm>
More information about the Pkg-haskell-commits
mailing list