You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
25 lines
797 B
25 lines
797 B
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
|