GaloisInc/cryptol — pull request #71 by orchid-hybrid (2014-08-12 23:29:35+00:00)
Title: Update cryptol.cabal

Added Default-language: Haskell98 to the .cabal file, in order for it to build with the latest cabal