GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 00:42:28 +03:00
Code Issues Projects Releases Wiki Activity

Update cabal version for fields used.

Browse Source
This commit is contained in:
Kevin Quick 2019-02-27 11:52:18 -08:00
parent f8fce2175e
commit 45f5c5e7af
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
symbolic/macaw-symbolic.cabal
View File

@ -3,7 +3,7 @@ version: 0.0.1
author: Galois, Inc.
maintainer: jhendrix@galois.com
build-type: Simple
cabal-version: >= 1.9.2
cabal-version: >= 1.10
license: BSD3
license-file: LICENSE
@ -37,6 +37,7 @@ library
ghc-options: -Wall -Wcompat
ghc-prof-options: -O2 -fprof-auto-top
default-language: Haskell2010
if impl(ghc >= 8.6)
default-extensions: NoStarIsType