• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for Agda-2.7.0

Libraries

Agda

• aeson (>=1.1.2.0 && <2.3)
• ansi-terminal (>=0.9 && <1.2)
• array (>=0.5.2.0 && <0.6)
• async (>=2.2 && <2.3)
• base (>=4.12.0.0 && <4.21)
• binary (>=0.8.6.0 && <0.9)
• blaze-html (>=0.8 && <0.10)
• boxes (>=0.1.3 && <0.2)
• bytestring (>=0.10.8.2 && <0.13)
• case-insensitive (>=1.2.0.4 && <1.3)
• containers (>=0.6.0.1 && <0.8)
• data-hash (>=0.2.0.0 && <0.3)
• deepseq (>=1.4.4.0 && <1.6)
• directory (>=1.3.3.0 && <1.4)
• dlist (>=0.8 && <1.1)
• edit-distance (>=0.2.1.2 && <0.3)
• equivalence (>=0.3.2 && <0.5)
• exceptions (>=0.8 && <0.11)
• filepath (>=1.4.2.1 && <1.6)
• ghc-compact (>=0.1 && <0.2)
• gitrev (>=1.3.1 && <2)
• hashable (>=1.2.1.0 && <1.6)
• haskeline (>=0.7.4.3 && <0.9)
• monad-control (>=1.0.1.0 && <1.1)
• mtl (>=2.2.2 && <2.4)
• murmur-hash (>=0.1 && <0.2)
• parallel (>=3.2.2.0 && <3.3)
• peano (>=0.1.0.1 && <0.2)
• pqueue (>=1.4.1.2 && <1.6)
• pretty (>=1.1.3.3 && <1.2)
• process (>=1.6.3.0 && <1.7)
• regex-tdfa (>=1.3.1.0 && <1.4)
• split (>=0.2.0.0 && <0.3)
• stm (>=2.4.4 && <2.6)
• STMonadTrans (>=0.4.3 && <0.5)
• strict (>=0.4.0.1 && <0.6)
• text (>=1.2.3.1 && <2.2)
• time (>=1.9.2 && <1.15)
• transformers (>=0.5.5.0 && <0.7)
• unordered-containers (>=0.2.9.0 && <0.3)
• uri-encode (>=1.5.0.4 && <1.6)
• vector (>=0.12 && <0.14)
• vector-hashtables (>=0.1.1.1 && <0.2)
• zlib (>=0.6 && <0.8)
• if flag(enable-cluster-counting)
  • text-icu (>=0.7.1.0)
• if os(windows)
  • Win32 (>=2.6.1.0 && <2.15)
• if impl(ghc==8.6.1)
  • buildable: False
• if os(windows) && impl(ghc==8.6.3)
  • buildable: False

Executables

agda

• Agda
• base

agda-mode

• base (>=4.12.0.0 && <4.21)
• directory (>=1.3.3.0 && <1.4)
• filepath (>=1.4.2.1 && <1.6)
• process (>=1.6.3.0 && <1.7)

Flags

Manual Flags

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info