GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-24 15:08:58 +03:00
Code Issues Projects Releases Wiki Activity

relax aeson dependency for stackage

Browse Source
This commit is contained in:
Adam C. Foltzer 2015-10-27 15:00:23 -07:00
parent 18d0588d81
commit f34145282d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptol.cabal
View File

@ -221,7 +221,7 @@ executable cryptol-server
if os(linux) && flag(static)
ld-options: -static -pthread
if flag(server)
build-depends: aeson >= 0.9
build-depends: aeson >= 0.8
, aeson-pretty >= 0.7
, base
, base-compat