nasa · ivanperez-keera · Dec 24, 2024 · Dec 24, 2024 · Dec 24, 2024 · Dec 24, 2024
diff --git a/ogma-cli/CHANGELOG.md b/ogma-cli/CHANGELOG.md
@@ -1,10 +1,11 @@
 # Revision history for ogma-cli
 
-## [1.X.Y] - 2024-12-23
+## [1.X.Y] - 2024-12-24
 
 * Update contribution guidelines (#161).
 * Provide ability to customize template in fprime command (#185).
 * Provide ability to customize template in standalone command (#189).
+* Add repository information to cabal package (#148).
 
 ## [1.5.0] - 2024-11-21
 

diff --git a/ogma-cli/ogma-cli.cabal b/ogma-cli/ogma-cli.cabal
@@ -34,6 +34,7 @@ build-type:          Simple
 name:                ogma-cli
 version:             1.5.0
 homepage:            https://github.com/nasa/ogma
+bug-reports:         https://github.com/nasa/ogma/issues
 license:             OtherLicense
 license-file:        LICENSE.pdf
 author:              Ivan Perez, Alwyn Goodloe
@@ -116,6 +117,11 @@ description:         Ogma is a tool to facilitate the integration of safe runtim
 -- exactly what we publish, unmodified by anyone external to our project.
 x-curation: uncurated
 
+source-repository head
+  type:     git
+  location: [email protected]:nasa/ogma.git
+  subdir:   ogma-cli
+
 executable ogma
 
   main-is:

diff --git a/ogma-core/CHANGELOG.md b/ogma-core/CHANGELOG.md
@@ -1,10 +1,11 @@
 # Revision history for ogma-core
 
-## [1.X.Y] - 2024-12-23
+## [1.X.Y] - 2024-12-24
 
 * Replace queueSize with QUEUE_SIZE in FPP file (#186).
 * Use template expansion system to generate F' monitoring component (#185).
 * Use template expansion system to generate standalone Copilot monitor (#189).
+* Add repository information to cabal package (#148).
 
 ## [1.5.0] - 2024-11-21
 

diff --git a/ogma-core/ogma-core.cabal b/ogma-core/ogma-core.cabal
@@ -34,6 +34,7 @@ build-type:          Simple
 name:                ogma-core
 version:             1.5.0
 homepage:            https://github.com/nasa/ogma
+bug-reports:         https://github.com/nasa/ogma/issues
 license:             OtherLicense
 license-file:        LICENSE.pdf
 author:              Ivan Perez, Alwyn Goodloe
@@ -84,6 +85,11 @@ data-files:          templates/copilot-cfs/CMakeLists.txt
 -- exactly what we publish, unmodified by anyone external to our project.
 x-curation: uncurated
 
+source-repository head
+  type:     git
+  location: [email protected]:nasa/ogma.git
+  subdir:   ogma-core
+
 library
 
   exposed-modules:

diff --git a/ogma-extra/CHANGELOG.md b/ogma-extra/CHANGELOG.md
@@ -1,8 +1,9 @@
 # Revision history for ogma-extra
 
-## [1.X.Y] - 2024-12-05
+## [1.X.Y] - 2024-12-24
 
 * Deprecate unnecessary functions (#185).
+* Add repository information to cabal package (#148).
 
 ## [1.5.0] - 2024-11-21
 

diff --git a/ogma-extra/ogma-extra.cabal b/ogma-extra/ogma-extra.cabal
@@ -34,6 +34,7 @@ build-type:          Simple
 name:                ogma-extra
 version:             1.5.0
 homepage:            https://github.com/nasa/ogma
+bug-reports:         https://github.com/nasa/ogma/issues
 license:             OtherLicense
 license-file:        LICENSE.pdf
 author:              Ivan Perez, Alwyn Goodloe
@@ -59,6 +60,11 @@ description:         Ogma is a tool to facilitate the integration of safe runtim
 -- exactly what we publish, unmodified by anyone external to our project.
 x-curation: uncurated
 
+source-repository head
+  type:     git
+  location: [email protected]:nasa/ogma.git
+  subdir:   ogma-extra
+
 library
 
   exposed-modules:

diff --git a/ogma-language-c/CHANGELOG.md b/ogma-language-c/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for ogma-language-c
 
+## [1.X.Y] - 2024-12-24
+
+* Add repository information to cabal package (#148).
+
 ## [1.5.0] - 2024-11-21
 
 * Version bump 1.5.0 (#178).

diff --git a/ogma-language-c/ogma-language-c.cabal b/ogma-language-c/ogma-language-c.cabal
@@ -34,6 +34,7 @@ build-type:          Custom
 name:                ogma-language-c
 version:             1.5.0
 homepage:            https://github.com/nasa/ogma
+bug-reports:         https://github.com/nasa/ogma/issues
 license:             OtherLicense
 license-file:        LICENSE.pdf
 author:              Ivan Perez, Alwyn Goodloe
@@ -61,6 +62,11 @@ description:         Ogma is a tool to facilitate the integration of safe runtim
 -- exactly what we publish, unmodified by anyone external to our project.
 x-curation: uncurated
 
+source-repository head
+  type:     git
+  location: [email protected]:nasa/ogma.git
+  subdir:   ogma-language-c
+
 custom-setup
   setup-depends:
       base    >= 4.11.0.0 && < 5

diff --git a/ogma-language-cocospec/CHANGELOG.md b/ogma-language-cocospec/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for ogma-language-cocospec
 
+## [1.X.Y] - 2024-12-24
+
+* Add repository information to cabal package (#148).
+
 ## [1.5.0] - 2024-11-21
 
 * Version bump 1.5.0 (#178).

diff --git a/ogma-language-cocospec/ogma-language-cocospec.cabal b/ogma-language-cocospec/ogma-language-cocospec.cabal
@@ -34,6 +34,7 @@ build-type:          Custom
 name:                ogma-language-cocospec
 version:             1.5.0
 homepage:            https://github.com/nasa/ogma
+bug-reports:         https://github.com/nasa/ogma/issues
 license:             OtherLicense
 license-file:        LICENSE.pdf
 author:              Ivan Perez, Alwyn Goodloe
@@ -62,6 +63,11 @@ description:         Ogma is a tool to facilitate the integration of safe runtim
 -- exactly what we publish, unmodified by anyone external to our project.
 x-curation: uncurated
 
+source-repository head
+  type:     git
+  location: [email protected]:nasa/ogma.git
+  subdir:   ogma-language-cocospec
+
 custom-setup
   setup-depends:
       base    >= 4.11.0.0 && < 5

diff --git a/ogma-language-copilot/CHANGELOG.md b/ogma-language-copilot/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for ogma-language-copilot
 
+## [1.X.Y] - 2024-12-24
+
+* Add repository information to cabal package (#148).
+
 ## [1.5.0] - 2024-11-21
 
 * Version bump 1.5.0 (#178).

diff --git a/ogma-language-copilot/ogma-language-copilot.cabal b/ogma-language-copilot/ogma-language-copilot.cabal
@@ -34,6 +34,7 @@ build-type:          Simple
 name:                ogma-language-copilot
 version:             1.5.0
 homepage:            https://github.com/nasa/ogma
+bug-reports:         https://github.com/nasa/ogma/issues
 license:             OtherLicense
 license-file:        LICENSE.pdf
 author:              Ivan Perez, Alwyn Goodloe
@@ -58,6 +59,11 @@ description:         Ogma is a tool to facilitate the integration of safe runtim
 -- exactly what we publish, unmodified by anyone external to our project.
 x-curation: uncurated
 
+source-repository head
+  type:     git
+  location: [email protected]:nasa/ogma.git
+  subdir:   ogma-language-copilot
+
 library
 
   exposed-modules:

diff --git a/ogma-language-jsonspec/CHANGELOG.md b/ogma-language-jsonspec/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for ogma-language-jsonspec
 
+## [1.X.Y] - 2024-12-24
+
+* Add repository information to cabal package (#148).
+
 ## [1.5.0] - 2024-11-21
 
 * Version bump 1.5.0 (#178).

diff --git a/ogma-language-jsonspec/ogma-language-jsonspec.cabal b/ogma-language-jsonspec/ogma-language-jsonspec.cabal
@@ -34,6 +34,7 @@ build-type:          Simple
 name:                ogma-language-jsonspec
 version:             1.5.0
 homepage:            https://github.com/nasa/ogma
+bug-reports:         https://github.com/nasa/ogma/issues
 license:             OtherLicense
 license-file:        LICENSE.pdf
 author:              Ivan Perez, Alwyn Goodloe
@@ -57,6 +58,11 @@ description:         Ogma is a tool to facilitate the integration of safe runtim
 -- exactly what we publish, unmodified by anyone external to our project.
 x-curation: uncurated
 
+source-repository head
+  type:     git
+  location: [email protected]:nasa/ogma.git
+  subdir:   ogma-language-jsonspec
+
 library
 
   exposed-modules:

diff --git a/ogma-language-smv/CHANGELOG.md b/ogma-language-smv/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for ogma-language-smv
 
+## [1.X.Y] - 2024-12-24
+
+* Add repository information to cabal package (#148).
+
 ## [1.5.0] - 2024-11-21
 
 * Version bump 1.5.0 (#178).

diff --git a/ogma-language-smv/ogma-language-smv.cabal b/ogma-language-smv/ogma-language-smv.cabal
@@ -34,6 +34,7 @@ build-type:          Custom
 name:                ogma-language-smv
 version:             1.5.0
 homepage:            https://github.com/nasa/ogma
+bug-reports:         https://github.com/nasa/ogma/issues
 license:             OtherLicense
 license-file:        LICENSE.pdf
 author:              Ivan Perez, Alwyn Goodloe
@@ -62,6 +63,11 @@ description:         Ogma is a tool to facilitate the integration of safe runtim
 -- exactly what we publish, unmodified by anyone external to our project.
 x-curation: uncurated
 
+source-repository head
+  type:     git
+  location: [email protected]:nasa/ogma.git
+  subdir:   ogma-language-smv
+
 custom-setup
   setup-depends:
       base    >= 4.11.0.0 && < 5

diff --git a/ogma-spec/CHANGELOG.md b/ogma-spec/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for ogma-spec
 
+## [1.X.Y] - 2024-12-24
+
+* Add repository information to cabal package (#148).
+
 ## [1.5.0] - 2024-11-21
 
 * Version bump 1.5.0 (#178).

diff --git a/ogma-spec/ogma-spec.cabal b/ogma-spec/ogma-spec.cabal
@@ -34,6 +34,7 @@ build-type:          Simple
 name:                ogma-spec
 version:             1.5.0
 homepage:            https://github.com/nasa/ogma
+bug-reports:         https://github.com/nasa/ogma/issues
 license:             OtherLicense
 license-file:        LICENSE.pdf
 author:              Ivan Perez, Alwyn Goodloe
@@ -57,6 +58,11 @@ description:         Ogma is a tool to facilitate the integration of safe runtim
 -- exactly what we publish, unmodified by anyone external to our project.
 x-curation: uncurated
 
+source-repository head
+  type:     git
+  location: [email protected]:nasa/ogma.git
+  subdir:   ogma-spec
+
 library
 
   exposed-modules: