[Git][haskell-team/DHG_packages][master] Initial packaging of ogma-core-1.6.0
Scott Talbert (@swt2c)
gitlab at salsa.debian.org
Fri Feb 21 04:11:13 GMT 2025
Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages
Commits:
665bea82 by Scott Talbert at 2025-02-20T23:08:44-05:00
Initial packaging of ogma-core-1.6.0
- - - - -
11 changed files:
- + p/haskell-ogma-core/debian/changelog
- + p/haskell-ogma-core/debian/compat
- + p/haskell-ogma-core/debian/control
- + p/haskell-ogma-core/debian/copyright
- + p/haskell-ogma-core/debian/haskell-ogma-core-utils.install
- + p/haskell-ogma-core/debian/patches/bf28d66c8ecb139c63bcd3439519a7afb85c7c60.patch
- + p/haskell-ogma-core/debian/patches/missing-test-files
- + p/haskell-ogma-core/debian/patches/series
- + p/haskell-ogma-core/debian/rules
- + p/haskell-ogma-core/debian/source/format
- + p/haskell-ogma-core/debian/watch
Changes:
=====================================
p/haskell-ogma-core/debian/changelog
=====================================
@@ -0,0 +1,5 @@
+haskell-ogma-core (1.6.0-1) unstable; urgency=low
+
+ * Initial release
+
+ -- Scott Talbert <swt at techie.net> Thu, 20 Feb 2025 21:01:44 -0500
=====================================
p/haskell-ogma-core/debian/compat
=====================================
@@ -0,0 +1 @@
+10
=====================================
p/haskell-ogma-core/debian/control
=====================================
@@ -0,0 +1,136 @@
+Source: haskell-ogma-core
+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,
+ libghc-aeson-dev (>= 2.0.0.0),
+ libghc-aeson-dev (<< 2.2),
+ libghc-aeson-prof,
+ libghc-graphviz-dev (>= 2999.20),
+ libghc-graphviz-dev (<< 2999.21),
+ libghc-graphviz-prof,
+ libghc-hunit-dev (>= 1.2.0.0),
+ libghc-hunit-dev (<< 1.7),
+ libghc-hunit-prof,
+ libghc-megaparsec-dev (>= 8.0.0),
+ libghc-megaparsec-dev (<< 9.10),
+ libghc-megaparsec-prof,
+ libghc-ogma-extra-dev (>= 1.6.0),
+ libghc-ogma-extra-dev (<< 1.7),
+ libghc-ogma-extra-prof,
+ libghc-ogma-language-c-dev (>= 1.6.0),
+ libghc-ogma-language-c-dev (<< 1.7),
+ libghc-ogma-language-c-prof,
+ libghc-ogma-language-cocospec-dev (>= 1.6.0),
+ libghc-ogma-language-cocospec-dev (<< 1.7),
+ libghc-ogma-language-cocospec-prof,
+ libghc-ogma-language-copilot-dev (>= 1.6.0),
+ libghc-ogma-language-copilot-dev (<< 1.7),
+ libghc-ogma-language-copilot-prof,
+ libghc-ogma-language-jsonspec-dev (>= 1.6.0),
+ libghc-ogma-language-jsonspec-dev (<< 1.7),
+ libghc-ogma-language-jsonspec-prof,
+ libghc-ogma-language-smv-dev (>= 1.6.0),
+ libghc-ogma-language-smv-dev (<< 1.7),
+ libghc-ogma-language-smv-prof,
+ libghc-ogma-language-xmlspec-dev (>= 1.6.0),
+ libghc-ogma-language-xmlspec-dev (<< 1.7),
+ libghc-ogma-language-xmlspec-prof,
+ libghc-ogma-spec-dev (>= 1.6.0),
+ libghc-ogma-spec-dev (<< 1.7),
+ libghc-ogma-spec-prof,
+ 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-hunit-dev (>= 0.2.0),
+ libghc-test-framework-hunit-dev (<< 0.4),
+ libghc-test-framework-hunit-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,
+ libghc-aeson-doc,
+ libghc-graphviz-doc,
+ libghc-megaparsec-doc,
+ libghc-ogma-extra-doc,
+ libghc-ogma-language-c-doc,
+ libghc-ogma-language-cocospec-doc,
+ libghc-ogma-language-copilot-doc,
+ libghc-ogma-language-jsonspec-doc,
+ libghc-ogma-language-smv-doc,
+ libghc-ogma-language-xmlspec-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-core
+Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-ogma-core]
+X-Description: Helper tool to interoperate between Copilot and other languages
+ 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 package implements the internal commands of ogma.
+
+Package: libghc-ogma-core-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-core-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-core-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}
+
+Package: haskell-ogma-core-utils
+Architecture: all
+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}
=====================================
p/haskell-ogma-core/debian/copyright
=====================================
@@ -0,0 +1,301 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: ogma-core
+Upstream-Contact: ivan.perezdominguez at nasa.gov
+Source: https://hackage.haskell.org/package/ogma-core
+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-core/debian/haskell-ogma-core-utils.install
=====================================
@@ -0,0 +1,31 @@
+./data/formats/fcs_cocospec usr/share/ogma-core/data/formats
+./data/formats/fcs_smv usr/share/ogma-core/data/formats
+./data/formats/fdb_cocospec usr/share/ogma-core/data/formats
+./data/formats/fdb_smv usr/share/ogma-core/data/formats
+./data/formats/xml-md_cocospec usr/share/ogma-core/data/formats
+./data/formats/xml-md_smv usr/share/ogma-core/data/formats
+./data/formats/xml-reqif_cocospec usr/share/ogma-core/data/formats
+./data/formats/xml-reqif_smv usr/share/ogma-core/data/formats
+./templates/copilot-cfs/CMakeLists.txt usr/share/ogma-core/templates/copilot-cfs
+./templates/copilot-cfs/fsw/for_build/Makefile usr/share/ogma-core/templates/copilot-cfs/fsw/for_build
+./templates/copilot-cfs/fsw/mission_inc/copilot_cfs_perfids.h usr/share/ogma-core/templates/copilot-cfs/fsw/mission_inc
+./templates/copilot-cfs/fsw/platform_inc/copilot_cfs_msgids.h usr/share/ogma-core/templates/copilot-cfs/fsw/platform_inc
+./templates/copilot-cfs/fsw/src/Properties.hs usr/share/ogma-core/templates/copilot-cfs/fsw/src
+./templates/copilot-cfs/fsw/src/copilot_cfs.c usr/share/ogma-core/templates/copilot-cfs/fsw/src
+./templates/copilot-cfs/fsw/src/copilot_cfs.h usr/share/ogma-core/templates/copilot-cfs/fsw/src
+./templates/copilot-cfs/fsw/src/copilot_cfs_events.h usr/share/ogma-core/templates/copilot-cfs/fsw/src
+./templates/copilot-cfs/fsw/src/copilot_cfs_msg.h usr/share/ogma-core/templates/copilot-cfs/fsw/src
+./templates/copilot-cfs/fsw/src/copilot_cfs_version.h usr/share/ogma-core/templates/copilot-cfs/fsw/src
+./templates/diagram/Copilot.hs usr/share/ogma-core/templates/diagram
+./templates/fprime/CMakeLists.txt usr/share/ogma-core/templates/fprime
+./templates/fprime/Copilot.cpp usr/share/ogma-core/templates/fprime
+./templates/fprime/Copilot.fpp usr/share/ogma-core/templates/fprime
+./templates/fprime/Copilot.hpp usr/share/ogma-core/templates/fprime
+./templates/fprime/Dockerfile usr/share/ogma-core/templates/fprime
+./templates/fprime/instance-copilot usr/share/ogma-core/templates/fprime
+./templates/ros/Dockerfile usr/share/ogma-core/templates/ros
+./templates/ros/copilot/CMakeLists.txt usr/share/ogma-core/templates/ros/copilot
+./templates/ros/copilot/package.xml usr/share/ogma-core/templates/ros/copilot
+./templates/ros/copilot/src/copilot_logger.cpp usr/share/ogma-core/templates/ros/copilot/src
+./templates/ros/copilot/src/copilot_monitor.cpp usr/share/ogma-core/templates/ros/copilot/src
+./templates/standalone/Copilot.hs usr/share/ogma-core/templates/standalone
=====================================
p/haskell-ogma-core/debian/patches/bf28d66c8ecb139c63bcd3439519a7afb85c7c60.patch
=====================================
@@ -0,0 +1,91 @@
+From bf28d66c8ecb139c63bcd3439519a7afb85c7c60 Mon Sep 17 00:00:00 2001
+From: Ivan Perez <ivan.perezdominguez at nasa.gov>
+Date: Fri, 24 Jan 2025 03:16:42 +0000
+Subject: [PATCH] ogma-core: Import liftIO from Control.Monad.IO.Class. Refs
+ #215.
+
+Installing Ogma with GHC 9.6 and it fails because the modules
+ogma-core:Command.ROSApp and ogma-core:Command.FPrimeApp import liftIO
+from Control.Monad.Except, which is no longer exported by that module.
+
+This is important in general to keep Ogma working with new versions of
+tools and libraries in the Haskell ecosystem, and to facilitate getting
+Ogma included in standard distributions.
+
+This commit replaces all imports of liftIO from Control.Monad.Except
+with imports from Control.Monad.IO.Class in both
+ogma-core:Command.ROSApp and ogma-core:Command.FPrimeApp.
+---
+ ogma-core/src/Command/FPrimeApp.hs | 25 +++++++++++++------------
+ ogma-core/src/Command/ROSApp.hs | 22 ++++++++++++----------
+ 2 files changed, 25 insertions(+), 22 deletions(-)
+
+diff --git a/ogma-core/src/Command/FPrimeApp.hs b/ogma-core/src/Command/FPrimeApp.hs
+index e1531964..3689ca66 100644
+--- a/src/Command/FPrimeApp.hs
++++ b/src/Command/FPrimeApp.hs
+@@ -44,18 +44,19 @@ module Command.FPrimeApp
+ where
+
+ -- External imports
+-import qualified Control.Exception as E
+-import Control.Monad.Except ( ExceptT(..), liftEither, liftIO,
+- runExceptT, throwError )
+-import Data.Aeson ( eitherDecode, object, (.=) )
+-import Data.Char ( toUpper )
+-import Data.List ( isInfixOf, isPrefixOf, find,
+- intercalate, nub, sort )
+-import Data.Maybe ( fromMaybe )
+-import Data.Text.Lazy ( pack )
+-import System.Directory ( doesFileExist )
+-import System.FilePath ( (</>) )
+-import System.Process ( readProcess )
++import qualified Control.Exception as E
++import Control.Monad.Except ( ExceptT(..), liftEither, runExceptT,
++ throwError )
++import Control.Monad.IO.Class ( liftIO )
++import Data.Aeson ( eitherDecode, object, (.=) )
++import Data.Char ( toUpper )
++import Data.List ( isInfixOf, isPrefixOf, find,
++ intercalate, nub, sort )
++import Data.Maybe ( fromMaybe )
++import Data.Text.Lazy ( pack )
++import System.Directory ( doesFileExist )
++import System.FilePath ( (</>) )
++import System.Process ( readProcess )
+
+ -- External imports: auxiliary
+ import Data.ByteString.Extra as B ( safeReadFile )
+diff --git a/ogma-core/src/Command/ROSApp.hs b/ogma-core/src/Command/ROSApp.hs
+index e591ca35..116bbeb8 100644
+--- a/src/Command/ROSApp.hs
++++ b/src/Command/ROSApp.hs
+@@ -48,16 +48,18 @@ module Command.ROSApp
+ where
+
+ -- External imports
+-import qualified Control.Exception as E
+-import Control.Monad.Except (ExceptT(..), liftEither, liftIO,
+- runExceptT, throwError)
+-import Data.Aeson (eitherDecode, object, (.=))
+-import Data.List (isInfixOf, isPrefixOf, find, intersperse)
+-import Data.Maybe (fromMaybe)
+-import Data.Text.Lazy (pack)
+-import System.Directory (doesFileExist)
+-import System.FilePath ((</>))
+-import System.Process (readProcess)
++import qualified Control.Exception as E
++import Control.Monad.Except (ExceptT (..), liftEither, runExceptT,
++ throwError)
++import Control.Monad.IO.Class (liftIO)
++import Data.Aeson (eitherDecode, object, (.=))
++import Data.List (isInfixOf, isPrefixOf, find,
++ intersperse)
++import Data.Maybe (fromMaybe)
++import Data.Text.Lazy (pack)
++import System.Directory (doesFileExist)
++import System.FilePath ((</>))
++import System.Process (readProcess)
+
+ -- External imports: auxiliary
+ import Data.ByteString.Extra as B (safeReadFile)
=====================================
p/haskell-ogma-core/debian/patches/missing-test-files
=====================================
@@ -0,0 +1,118 @@
+diff --git a/tests/fcs_good.json b/tests/fcs_good.json
+new file mode 100644
+index 0000000..5ab0fef
+--- /dev/null
++++ b/tests/fcs_good.json
+@@ -0,0 +1,21 @@
++{
++ "RTSASpec": {
++ "Internal_variables": [],
++ "Other_variables": [
++ {"name":"param_is_short", "type":"bool"},
++ {"name":"param_value_short", "type":"real"},
++ {"name":"param_value_long", "type":"real"},
++ {"name":"upper_param_limit", "type":"real"},
++ {"name":"lower_param_limit", "type":"real"},
++ {"name":"envelope_issue", "type":"bool"}
++ ],
++ "Requirements": [
++ {
++ "name": "behnazOne",
++ "CoCoSpecCode": "true",
++ "ptLTL": "((H ((((! <b><i>flight_mode</i></b>) & (Y <b><i>flight_mode</i></b>)) & (Y TRUE)) -> (Y (((O[=<b><i>10</i></b>] ((<b><i>(conflict_detected)</i></b> & ((Y (! <b><i>(conflict_detected)</i></b>)) | (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))))) & (! <b><i>(( replanning_mode ))</i></b>))) -> (O[<<b><i>10</i></b>] ((<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))) | <b><i>(( replanning_mode ))</i></b>))) S (((O[=<b><i>10</i></b>] ((<b><i>(conflict_detected)</i></b> & ((Y (! <b><i>(conflict_detected)</i></b>)) | (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))))) & (! <b><i>(( replanning_mode ))</i></b>))) -> (O[<<b><i>10</i></b>] ((<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))) | <b><i>(( replanning_mode ))</i></b>))) & (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>))))))))) & (((! ((! <b><i>flight_mode</i></b>) & (Y <b><i>flight_mode</i></b>))) S ((! ((! <b><i>flight_mode</i></b>) & (Y <b><i>flight_mode</i></b>))) & (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))))) -> (((O[=<b><i>10</i></b>] ((<b><i>(conflict_detected)</i></b> & ((Y (! <b><i>(conflict_detected)</i></b>)) | (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))))) & (! <b><i>(( replanning_mode ))</i></b>))) -> (O[<<b><i>10</i></b>] ((<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))) | <b><i>(( replanning_mode ))</i></b>))) S (((O[=<b><i>10</i></b>] ((<b><i>(conflict_detected)</i></b> & ((Y (! <b><i>(conflict_detected)</i></b>)) | (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))))) & (! <b><i>(( replanning_mode ))</i></b>))) -> (O[<<b><i>10</i></b>] ((<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))) | <b><i>(( replanning_mode ))</i></b>))) & (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>))))))))",
++ "fretish": "Meaning not specified"
++ }
++ ]
++ }
++}
+diff --git a/tests/fdb-example1.json b/tests/fdb-example1.json
+new file mode 100644
+index 0000000..c1e78d1
+--- /dev/null
++++ b/tests/fdb-example1.json
+@@ -0,0 +1,66 @@
++[
++ {
++ "reqid": "test_req1",
++ "parent_reqid": "",
++ "project": "Test",
++ "rationale": "",
++ "fulltext": "during flight_mode when conflict_detected planner_module shall within 10 seconds satisfy (replanning_mode).",
++ "semantics": {
++ "type": "nasa",
++ "scope": {
++ "type": "in"
++ },
++ "condition": "regular",
++ "timing": "within",
++ "response": "satisfaction",
++ "variables": {
++ "regular": [
++ "conflict_detected",
++ "replanning_mode"
++ ],
++ "modes": [
++ "flight_mode"
++ ]
++ },
++ "scope_mode": "flight_mode",
++ "scopeTextRange": [
++ 0,
++ 17
++ ],
++ "regular_condition": "(conflict_detected)",
++ "qualifier_word": "when",
++ "pre_condition": "(conflict_detected)",
++ "conditionTextRange": [
++ 19,
++ 40
++ ],
++ "component_name": "planner_module",
++ "componentTextRange": [
++ 42,
++ 55
++ ],
++ "duration": [
++ "10"
++ ],
++ "timingTextRange": [
++ 63,
++ 79
++ ],
++ "post_condition": "(( replanning_mode ))",
++ "responseTextRange": [
++ 81,
++ 105
++ ],
++ "ft": "((LAST V ((! (Fin_<b><i>flight_mode</i></b> & (! LAST))) | (X (((Lin_<b><i>flight_mode</i></b> | LAST) V (((! <b><i>(conflict_detected)</i></b>) & ((! LAST) & ((X <b><i>(conflict_detected)</i></b>) & (! (Lin_<b><i>flight_mode</i></b> | LAST))))) -> ((X ((F[<=<b><i>10</i></b>] <b><i>(( replanning_mode ))</i></b>) | (F[<<b><i>10</i></b>] (Lin_<b><i>flight_mode</i></b> | LAST)))) & (! (Lin_<b><i>flight_mode</i></b> | LAST))))) & (<b><i>(conflict_detected)</i></b> -> ((F[<=<b><i>10</i></b>] <b><i>(( replanning_mode ))</i></b>) | (F[<<b><i>10</i></b>] (Lin_<b><i>flight_mode</i></b> | LAST)))))))) & (<b><i>flight_mode</i></b> -> (((Lin_<b><i>flight_mode</i></b> | LAST) V (((! <b><i>(conflict_detected)</i></b>) & ((! LAST) & ((X <b><i>(conflict_detected)</i></b>) & (! (Lin_<b><i>flight_mode</i></b> | LAST))))) -> ((X ((F[<=<b><i>10</i></b>] <b><i>(( replanning_mode ))</i></b>) | (F[<<b><i>10</i></b>] (Lin_<b><i>flight_mode</i></b> | LAST)))) & (! (Lin_<b><i>flight_mode</i></b> | LAST))))) & (<b><i>(conflict_detected)</i></b> -> ((F[<=<b><i>10</i></b>] <b><i>(( replanning_mode ))</i></b>) | (F[<<b><i>10</i></b>] (Lin_<b><i>flight_mode</i></b> | LAST)))))))",
++ "pt": "((H ((Lin_<b><i>flight_mode</i></b> & (! FTP)) -> (Y (((O[=<b><i>10</i></b>] ((<b><i>(conflict_detected)</i></b> & ((Y (! <b><i>(conflict_detected)</i></b>)) | Fin_<b><i>flight_mode</i></b>)) & (! <b><i>(( replanning_mode ))</i></b>))) -> (O[<<b><i>10</i></b>] (Fin_<b><i>flight_mode</i></b> | <b><i>(( replanning_mode ))</i></b>))) S (((O[=<b><i>10</i></b>] ((<b><i>(conflict_detected)</i></b> & ((Y (! <b><i>(conflict_detected)</i></b>)) | Fin_<b><i>flight_mode</i></b>)) & (! <b><i>(( replanning_mode ))</i></b>))) -> (O[<<b><i>10</i></b>] (Fin_<b><i>flight_mode</i></b> | <b><i>(( replanning_mode ))</i></b>))) & Fin_<b><i>flight_mode</i></b>))))) & (((! Lin_<b><i>flight_mode</i></b>) S ((! Lin_<b><i>flight_mode</i></b>) & Fin_<b><i>flight_mode</i></b>)) -> (((O[=<b><i>10</i></b>] ((<b><i>(conflict_detected)</i></b> & ((Y (! <b><i>(conflict_detected)</i></b>)) | Fin_<b><i>flight_mode</i></b>)) & (! <b><i>(( replanning_mode ))</i></b>))) -> (O[<<b><i>10</i></b>] (Fin_<b><i>flight_mode</i></b> | <b><i>(( replanning_mode ))</i></b>))) S (((O[=<b><i>10</i></b>] ((<b><i>(conflict_detected)</i></b> & ((Y (! <b><i>(conflict_detected)</i></b>)) | Fin_<b><i>flight_mode</i></b>)) & (! <b><i>(( replanning_mode ))</i></b>))) -> (O[<<b><i>10</i></b>] (Fin_<b><i>flight_mode</i></b> | <b><i>(( replanning_mode ))</i></b>))) & Fin_<b><i>flight_mode</i></b>))))",
++ "ftExpanded": "((LAST V ((! ((((! <b><i>flight_mode</i></b>) & (! LAST)) & (X <b><i>flight_mode</i></b>)) & (! LAST))) | (X (((((<b><i>flight_mode</i></b> & (! LAST)) & (X (! <b><i>flight_mode</i></b>))) | LAST) V (((! <b><i>(conflict_detected)</i></b>) & ((! LAST) & ((X <b><i>(conflict_detected)</i></b>) & (! (((<b><i>flight_mode</i></b> & (! LAST)) & (X (! <b><i>flight_mode</i></b>))) | LAST))))) -> ((X ((F[<=<b><i>10</i></b>] <b><i>(( replanning_mode ))</i></b>) | (F[<<b><i>10</i></b>] (((<b><i>flight_mode</i></b> & (! LAST)) & (X (! <b><i>flight_mode</i></b>))) | LAST)))) & (! (((<b><i>flight_mode</i></b> & (! LAST)) & (X (! <b><i>flight_mode</i></b>))) | LAST))))) & (<b><i>(conflict_detected)</i></b> -> ((F[<=<b><i>10</i></b>] <b><i>(( replanning_mode ))</i></b>) | (F[<<b><i>10</i></b>] (((<b><i>flight_mode</i></b> & (! LAST)) & (X (! <b><i>flight_mode</i></b>))) | LAST)))))))) & (<b><i>flight_mode</i></b> -> (((((<b><i>flight_mode</i></b> & (! LAST)) & (X (! <b><i>flight_mode</i></b>))) | LAST) V (((! <b><i>(conflict_detected)</i></b>) & ((! LAST) & ((X <b><i>(conflict_detected)</i></b>) & (! (((<b><i>flight_mode</i></b> & (! LAST)) & (X (! <b><i>flight_mode</i></b>))) | LAST))))) -> ((X ((F[<=<b><i>10</i></b>] <b><i>(( replanning_mode ))</i></b>) | (F[<<b><i>10</i></b>] (((<b><i>flight_mode</i></b> & (! LAST)) & (X (! <b><i>flight_mode</i></b>))) | LAST)))) & (! (((<b><i>flight_mode</i></b> & (! LAST)) & (X (! <b><i>flight_mode</i></b>))) | LAST))))) & (<b><i>(conflict_detected)</i></b> -> ((F[<=<b><i>10</i></b>] <b><i>(( replanning_mode ))</i></b>) | (F[<<b><i>10</i></b>] (((<b><i>flight_mode</i></b> & (! LAST)) & (X (! <b><i>flight_mode</i></b>))) | LAST)))))))",
++ "ptExpanded": "((H ((((! <b><i>flight_mode</i></b>) & (Y <b><i>flight_mode</i></b>)) & (Y TRUE)) -> (Y (((O[=<b><i>10</i></b>] ((<b><i>(conflict_detected)</i></b> & ((Y (! <b><i>(conflict_detected)</i></b>)) | (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))))) & (! <b><i>(( replanning_mode ))</i></b>))) -> (O[<<b><i>10</i></b>] ((<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))) | <b><i>(( replanning_mode ))</i></b>))) S (((O[=<b><i>10</i></b>] ((<b><i>(conflict_detected)</i></b> & ((Y (! <b><i>(conflict_detected)</i></b>)) | (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))))) & (! <b><i>(( replanning_mode ))</i></b>))) -> (O[<<b><i>10</i></b>] ((<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))) | <b><i>(( replanning_mode ))</i></b>))) & (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>))))))))) & (((! ((! <b><i>flight_mode</i></b>) & (Y <b><i>flight_mode</i></b>))) S ((! ((! <b><i>flight_mode</i></b>) & (Y <b><i>flight_mode</i></b>))) & (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))))) -> (((O[=<b><i>10</i></b>] ((<b><i>(conflict_detected)</i></b> & ((Y (! <b><i>(conflict_detected)</i></b>)) | (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))))) & (! <b><i>(( replanning_mode ))</i></b>))) -> (O[<<b><i>10</i></b>] ((<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))) | <b><i>(( replanning_mode ))</i></b>))) S (((O[=<b><i>10</i></b>] ((<b><i>(conflict_detected)</i></b> & ((Y (! <b><i>(conflict_detected)</i></b>)) | (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))))) & (! <b><i>(( replanning_mode ))</i></b>))) -> (O[<<b><i>10</i></b>] ((<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>)))) | <b><i>(( replanning_mode ))</i></b>))) & (<b><i>flight_mode</i></b> & ((! (Y TRUE)) | (Y (! <b><i>flight_mode</i></b>))))))))",
++ "component": "<b><i>planner_module</i></b>",
++ "CoCoSpecCode": "((H(((( not flight_mode) and (pre (flight_mode))) and ( not FTP)) => (pre (SI( (flight_mode and (FTP or (pre ( not flight_mode)))), ((OT(10,10,( ( (conflict_detected) and ( ( Y ( not (conflict_detected) ) ) or ( flight_mode and ( FTP or ( Y not flight_mode ) ) ) ) ) and ( not (( replanning_mode )) ) ))) => (OT(10-1,0,( ( flight_mode and ( FTP or ( Y not flight_mode ) ) ) or (( replanning_mode )) )))) ))))) and ((SI( (flight_mode and (FTP or (pre ( not flight_mode)))), ( not (( not flight_mode) and (pre (flight_mode)))) )) => (SI( (flight_mode and (FTP or (pre ( not flight_mode)))), ((OT(10,10,( ( (conflict_detected) and ( ( Y ( not (conflict_detected) ) ) or ( flight_mode and ( FTP or ( Y not flight_mode ) ) ) ) ) and ( not (( replanning_mode )) ) ))) => (OT(10-1,0,( ( flight_mode and ( FTP or ( Y not flight_mode ) ) ) or (( replanning_mode )) )))) ))))",
++ "diagramVariables": "M = <b><i>flight_mode</i></b>, TC = <b><i>(conflict_detected)</i></b>, n = <b><i>10</i></b>, Response = <b><i>(( replanning_mode ))</i></b>.",
++ "description": "ENFORCED: in every interval where <b><i>flight_mode</i></b> holds.\nTRIGGER: first point in the interval if <b><i>(conflict_detected)</i></b> is true and any point in the interval where <b><i>(conflict_detected)</i></b> becomes true (from false).\nREQUIRES: for every trigger, RES must hold at some point with distance <=<b><i>10</i></b> from the trigger, except if the end of the interval occurs sooner.",
++ "diagram": "_media/user-interface/examples/svgDiagrams/in_regular_within_satisfaction.svg"
++ },
++ "_id": "fbc0a840-a04b-11ea-b135-098996762962"
++ }
++]
+\ No newline at end of file
+diff --git a/tests/reduced_geofence_msgs.h b/tests/reduced_geofence_msgs.h
+new file mode 100644
+index 0000000..7f33861
+--- /dev/null
++++ b/tests/reduced_geofence_msgs.h
+@@ -0,0 +1,12 @@
++/**
++ * @struct geofence_parameters_t
++ * @brief data structure containing information about the parameters used by the geofence app
++ */
++typedef struct{
++ uint8_t TlmHeader[CFE_SB_TLM_HDR_SIZE];
++ double lookahead;
++ double hthreshold;
++ double vthreshold;
++ double hstepback;
++ double vstepback;
++}geofence_parameters_t;
=====================================
p/haskell-ogma-core/debian/patches/series
=====================================
@@ -0,0 +1,2 @@
+bf28d66c8ecb139c63bcd3439519a7afb85c7c60.patch
+missing-test-files
=====================================
p/haskell-ogma-core/debian/rules
=====================================
@@ -0,0 +1,11 @@
+#!/usr/bin/make -f
+
+DEB_SETUP_BIN_NAME = debian/hlibrary.setup
+DEB_CABAL_PACKAGE = ogma-core
+DEB_DEFAULT_COMPILER = ghc
+DEB_ENABLE_TESTS = yes
+
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/hlibrary.mk
+
+build/haskell-ogma-core-utils:: build-ghc-stamp
=====================================
p/haskell-ogma-core/debian/source/format
=====================================
@@ -0,0 +1 @@
+3.0 (quilt)
=====================================
p/haskell-ogma-core/debian/watch
=====================================
@@ -0,0 +1,2 @@
+version=4
+https://hackage.haskell.org/package/ogma-core/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/665bea821460218918611f69713a058696487875
--
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/665bea821460218918611f69713a058696487875
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/2c8f9662/attachment-0001.htm>
More information about the Pkg-haskell-commits
mailing list