name: dove version: 0.0.0 category: Language, Formal Methods synopsis: The Dove verification language. author: Tom Hawkins maintainer: Tom Hawkins license: BSD3 license-file: LICENSE build-type: Simple cabal-version: >= 1.10 library default-language: Haskell2010 build-depends: base >= 4.0 && < 5.0, acl2 >= 0.0.1 && < 0.2 exposed-modules: Language.Dove Language.Dove.ACL2 Language.Dove.Optimize Language.Dove.Syntax ghc-options: -W source-repository head type: git location: git://github.com/tomahawkins/dove.git