ogma-language-copilot 1.0.7 → 1.0.8

raw patch · 2 files changed

+13/−1 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CHANGELOG.md +5/−0
• ogma-language-copilot.cabal +8/−1

@@ -1,5 +1,10 @@ # Revision history for ogma-language-copilot +## [1.0.8] - 2023-03-21++* Version bump 1.0.8 (#81).+* Mark package as uncurated (#74).+ ## [1.0.7] - 2023-01-21 * Version bump 1.0.7 (#69). 

@@ -32,7 +32,7 @@ build-type:          Simple  name:                ogma-language-copilot-version:             1.0.7+version:             1.0.8 homepage:            http://nasa.gov license:             OtherLicense license-file:        LICENSE.pdf@@ -50,6 +50,13 @@                      .                      This library contains a frontend to read Copilot monitors, a definition of Copilot                      structs, and a backend to generate and pretty print Copilot code.++-- 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  library