liquidhaskell-cabal-demo 0.2.0.0 → 0.2.0.1
raw patch · 2 files changed
+4/−2 lines, 2 files
Files
- include/foo.h +1/−0
- liquidhaskell-cabal-demo.cabal +3/−2
+ include/foo.h view
@@ -0,0 +1,1 @@+int foo(int);
liquidhaskell-cabal-demo.cabal view
@@ -1,8 +1,8 @@ name: liquidhaskell-cabal-demo-version: 0.2.0.0+version: 0.2.0.1 synopsis: Demo of Liquid Haskell integration for Cabal and stack description: Please see the- <https://github.com/spinda/liquidhaskell-cabal-demo/blob/0.2.0.0/README.md README>+ <https://github.com/spinda/liquidhaskell-cabal-demo/blob/0.2.0.1/README.md README> on GitHub for more information. homepage: https://github.com/spinda/liquidhaskell-cabal-demo#readme bug-reports: https://github.com/spinda/liquidhaskell-cabal-demo/issues@@ -14,6 +14,7 @@ category: Development cabal-version: >=1.10 build-type: Custom+extra-source-files: include/foo.h custom-setup setup-depends: base, Cabal, liquidhaskell-cabal >= 0.2.0