name: acl2 version: 0.0.1 category: Language, Formal Methods synopsis: Writing and calling ACL2 from Haskell. description: Writing and calling ACL2 from Haskell. author: Tom Hawkins maintainer: Tom Hawkins license: BSD3 license-file: LICENSE build-type: Simple cabal-version: >= 1.9.2 library build-depends: base >= 4.0 && < 6.0, process >= 1.0 && < 2.0 exposed-modules: Language.ACL2 ghc-options: -W source-repository head type: git location: git://github.com/tomahawkins/acl2.git