cabal-version : >= 1.10 name : copilot-sbv version : 0.3 synopsis : A compiler for CoPilot targeting SBV. description : Blah blah blah... license : BSD3 license-file : LICENSE maintainer : leepike@galois.com stability : Experimental category : Language, Embedded build-type : Simple extra-source-files : README.md author : Lee Pike , Robin Morisset , Alwyn Goodloe , Sebastian Niller , Nis Nordby Wegmann source-repository head type: git location: git://github.com/niswegmann/copilot-sbv.git library default-language : Haskell2010 hs-source-dirs : src ghc-options : -Wall -fwarn-tabs ghc-prof-options : -auto-all -caf-all build-depends : sbv >= 0.9.21 , base >= 4.3 && < 5 , containers >= 0.4 , copilot-core , pretty >= 1 , filepath >= 1.1 exposed-modules : Copilot.Compile.SBV , Copilot.Compile.SBV.Code , Copilot.Compile.SBV.Common , Copilot.Compile.SBV.Copilot2SBV , Copilot.Compile.SBV.MetaTable , Copilot.Compile.SBV.Params , Copilot.Compile.SBV.Queue , Copilot.Compile.SBV.Witness , Copilot.Compile.SBV.Driver , Copilot.Compile.SBV.Makefile