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

Dependencies for Agda-2.6.2.2.20221106

Libraries

Agda

• aeson (>=1.1.2.0 && <2.2)
• array (>=0.5.1.1 && <0.6)
• async (>=2.2 && <2.3)
• base (>=4.9.0.0 && <4.18)
• binary (>=0.8.3.0 && <0.9)
• blaze-html (>=0.8 && <0.10)
• boxes (>=0.1.3 && <0.2)
• bytestring (>=0.10.8.1 && <0.12)
• case-insensitive (>=1.2.0.4 && <1.3)
• containers (>=0.5.11.0 && <0.7)
• data-hash (>=0.2.0.0 && <0.3)
• deepseq (>=1.4.2.0 && <1.5)
• directory (>=1.2.6.2 && <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.1.0 && <1.5)
• gitrev (>=1.3.1 && <2.0)
• hashable (>=1.2.1.0 && <1.5)
• haskeline (>=0.7.2.3 && <0.9)
• monad-control (>=1.0.1.0 && <1.1)
• mtl (>=2.2.1 && <2.4)
• murmur-hash (>=0.1 && <0.2)
• parallel (>=3.2.2.0 && <3.3)
• pretty (>=1.1.3.3 && <1.2)
• process (>=1.4.2.0 && <1.7)
• regex-tdfa (>=1.3.1.0 && <1.4)
• split (>=0.2.0.0 && <0.2.4)
• stm (>=2.4.4 && <2.6)
• STMonadTrans (>=0.4.3 && <0.5)
• strict (>=0.4.0.1 && <0.5)
• text (>=1.2.3.0 && <2.1)
• time (>=1.6.0.1 && <1.13)
• time-compat (>=1.9.2 && <1.10)
• transformers (>=0.5 && <0.7)
• unordered-containers (>=0.2.5.0 && <0.3)
• uri-encode (>=1.5.0.4 && <1.6)
• vector (>=0.12 && <0.14)
• vector-hashtables (>=0.1 && <0.2)
• zlib (>=0.6 && <0.7)
• if flag(enable-cluster-counting)
  • text-icu (>=0.7.1.0)
• if os(windows)
  • Win32 (>=2.3.1.1 && <2.13)
• if impl(ghc==8.6.1)
  • buildable: False
• if os(windows) && impl(ghc==8.6.3)
  • buildable: False
• if impl(ghc>=8.6 && <8.7)
  • transformers (<0.6 || >=0.6.0.3)
• if impl(ghc<8.4.1) || impl(ghc>8.4.3)
  • text (>=1.2.3.1)
• if impl(ghc>=8.4)
  • ghc-compact (>=0.1 && <0.2)

Executables

agda

• Agda
• base

Flags

Manual Flags

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