name: agda-unused-imports version: 0.1.0.0 -- synopsis: -- description: homepage: https://github.com/plt-hokusai/agda-unused-imports#readme license: BSD3 license-file: LICENSE author: Abigail Magalhães maintainer: me@abby.how copyright: 2021 Abigail Magalhães category: Web build-type: Simple cabal-version: >=1.10 extra-source-files: README.md executable agda-unused-imports hs-source-dirs: src main-is: Main.hs default-language: Haskell2010 build-depends: base >= 4.7 && < 5 , text , tagsoup , hashable , filepath , unordered-containers