MiniAgda 0.2018.11.4 → 0.2018.11.6
raw patch · 3 files changed
+5/−2 lines, 3 files
Files
- CHANGELOG +2/−0
- MiniAgda.cabal +2/−1
- README.md +1/−1
CHANGELOG view
@@ -1,5 +1,7 @@ CHANGELOG for MiniAgda +0.2018.11.6 Tested compilation with 8.6.2.+ 0.2018.11.4 Fixed compilation with ghc 8.4 and 8.6. 0.2017.02.18 Updated install instructions.
MiniAgda.cabal view
@@ -1,5 +1,5 @@ name: MiniAgda-version: 0.2018.11.4+version: 0.2018.11.6 build-type: Simple cabal-version: 1.24 license: OtherLicense@@ -28,6 +28,7 @@ GHC == 8.0.2 GHC == 8.2.2 GHC == 8.4.4+ GHC == 8.6.2 extra-source-files: Makefile CHANGELOG
README.md view
@@ -9,7 +9,7 @@ cabal update cabal install alex cabal install happy- cabal install miniagda+ cabal install MiniAgda ``` ## Examples