name: idringen version: 0.1.0.3 synopsis: A project manage tool for Idris. description: Check out for documentation. homepage: https://github.com/zjhmale/idringen license: BSD3 license-file: LICENSE author: Zheng Jihui maintainer: zjhmale@gmail.com copyright: 2016 zjhmale category: Development build-type: Simple -- extra-source-files: cabal-version: >=1.10 extra-source-files: README.md library hs-source-dirs: src exposed-modules: Idringen , Idringen.Plugin , Idringen.New , Idringen.Build , Idringen.Test , Idringen.Run , Idringen.Clean build-depends: base >= 4.7 && < 5 , bytestring >= 0.10.4.0 , directory >= 1.2.1.0 , filepath >= 1.3.0.2 , process , transformers , http-conduit , MissingH default-language: Haskell2010 ghc-options: -Wall executable idrin hs-source-dirs: app main-is: Main.hs ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall build-depends: base , idringen default-language: Haskell2010 test-suite idrin-test type: exitcode-stdio-1.0 hs-source-dirs: test main-is: Spec.hs build-depends: base , idringen , hspec ghc-options: -threaded -rtsopts -with-rtsopts=-N -Wall default-language: Haskell2010 source-repository head type: git location: https://github.com/zjhmale/idringen