fix cabal package

marcellussiegburg · Apr 24, 2024 · a0ec18e · a0ec18e
1 parent 69a568b
commit a0ec18e
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/call-alloy.cabal b/call-alloy.cabal
@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           call-alloy
-version:        0.5
+version:        0.5.0.1
 synopsis:       A simple library to call Alloy given a specification
 description:    Please see the README on GitHub at <https://github.com/marcellussiegburg/call-alloy#readme>
 category:       Language
@@ -21,6 +21,9 @@ extra-source-files:
     README.md
     LICENSE
     ChangeLog.md
+    test/unit/readmeExampleInstance.hs
+    test/unit/readmeExampleResult.hs
+    test/unit/readmeExampleSpecification.als
 data-files:
     alloy/RunAlloy.class
     alloy/SATSolver.class

diff --git a/package.yaml b/package.yaml
@@ -1,5 +1,5 @@
 name:                call-alloy
-version:             0.5
+version:             0.5.0.1
 github:              "marcellussiegburg/call-alloy"
 license:             MIT
 author:              "Marcellus Siegburg"
@@ -20,6 +20,9 @@ extra-source-files:
 - README.md
 - LICENSE
 - ChangeLog.md
+- test/unit/readmeExampleInstance.hs
+- test/unit/readmeExampleResult.hs
+- test/unit/readmeExampleSpecification.als
 ghc-options:
   - -Wall
   - -Wincomplete-uni-patterns