change ghc-options and adapt executable name in Dockerfile
authorMiguel <m.i@gmx.at>
Thu, 7 Mar 2019 21:23:23 +0000 (22:23 +0100)
committerMiguel <m.i@gmx.at>
Thu, 7 Mar 2019 21:23:23 +0000 (22:23 +0100)
commit7862aff2d4190f3f1211de385049b224bbd00c84
tree1e760ba3e54f313b452bc17d4a0628e4ed5c4219
parentb74714630a07b05b696733bd533ad0d8569392e1
change ghc-options and adapt executable name in Dockerfile
Dockerfile
estatico.cabal