ogma-language-c 1.0.7 → 1.0.8

raw patch · 2 files changed

+13/−1 lines, 2 files

Files

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

CHANGELOG.md view

@@ -1,5 +1,10 @@ # Revision history for ogma-language-c +## [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). * Specify upper bound constraint for Cabal. Refs #69.

ogma-language-c.cabal view

@@ -32,7 +32,7 @@ build-type:          Custom  name:                ogma-language-c-version:             1.0.7+version:             1.0.8 homepage:            http://nasa.gov license:             OtherLicense license-file:        LICENSE.pdf@@ -53,6 +53,13 @@                      verification framework that generates hard real-time C99 code.                      .                      This library contains a frontend to read C header files.++-- 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: