agda-deps.cabal

cabal-version:       2.2
name:                agda-deps
version:             1.1
author:              Orestis Melkonian, Carlos Tomé Cortiñas
category:            Language, Compiler
build-type:          Simple
synopsis:            Reporting lemma dependencies of Agda proofs.

extra-doc-files:    README.md

source-repository head
  type:     git
  location: https://github.com/omelkonian/agda-dependencies.git

executable agda-deps
  hs-source-dirs:      src
  main-is:             Main.hs
  other-modules:       Paths_agda_deps
  autogen-modules:     Paths_agda_deps
  build-depends:       base >= 4.10 && < 4.22,
                       Agda >= 2.8,
                       deepseq >= 1.4.4 && < 1.6,
                       text,
                       containers,
                       graphviz,
                       fgl,