|
|
- 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: [email protected]
- 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
|