05.11., 9:00 - 11:00: Due to updates GitLab may be unavailable for some minutes between 09:00 and 11:00.

Commit dd8aab5e authored by Philipp Meyer's avatar Philipp Meyer

Update cabal file for merge

parent 816236d3
Pipeline #202454 passed with stage
in 8 minutes and 31 seconds
...@@ -22,8 +22,8 @@ executable peregrine ...@@ -22,8 +22,8 @@ executable peregrine
main-is: Main.hs main-is: Main.hs
other-modules: other-modules:
-- other-extensions: -- other-extensions:
build-depends: base >=4 && <5, sbv == 7.13, parsec >= 3.1, containers, transformers, build-depends: base >=4 && <5, sbv, parsec >= 3.1, containers, transformers,
bytestring, mtl, stm, async, text, aeson bytestring, mtl, stm, async, text, aeson
hs-source-dirs: src hs-source-dirs: src
default-language: Haskell2010 default-language: Haskell2010
ghc-options: -fsimpl-tick-factor=1000 -threaded -rtsopts -with-rtsopts=-N ghc-options: -fsimpl-tick-factor=1000 -threaded -rtsopts -with-rtsopts=-N -dynamic
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment