From 8e8e5fd9309a4fe3cb01dcf7247f8fdd52a882c2 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Tue, 21 Mar 2023 16:56:20 -0700 Subject: [PATCH] ogma-language-cocospec: Mark package as uncurated. Refs #74. Cabal packages in Ogma are not using the flag x-curation to indicate to package maintainers that our packages should not be modified by them. Because this is a NASA project, we want to make sure that users obtain exactly what we publish, unmodified by anyone external to our project. This commit sets modifies the cabal package to include x-curation: uncurated, signaling our preferences to the Hackage maintainers. --- ogma-language-cocospec/ogma-language-cocospec.cabal | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/ogma-language-cocospec/ogma-language-cocospec.cabal b/ogma-language-cocospec/ogma-language-cocospec.cabal index 25c106f4..377c41bb 100644 --- a/ogma-language-cocospec/ogma-language-cocospec.cabal +++ b/ogma-language-cocospec/ogma-language-cocospec.cabal @@ -55,6 +55,13 @@ description: Ogma is a tool to facilitate the integration of safe runtim This library contains a frontend to read CoCoSpec Boolean expressions, used by the tool FRET to capture requirement specifications. +-- Ogma packages should be uncurated so that only the official maintainers make +-- changes. +-- +-- Because this is a NASA project, we want to make sure that users obtain +-- exactly what we publish, unmodified by anyone external to our project. +x-curation: uncurated + custom-setup setup-depends: base >= 4.11.0.0 && < 5