Include test and benchmark dependencies

Licenses for Agda

Return to license list

License Packages
BSD2
  • text
BSD3
  • Cabal
  • QuickCheck
  • STMonadTrans
  • Win32
  • array
  • async
  • base
  • binary
  • blaze-builder
  • blaze-html
  • blaze-markup
  • boxes
  • bytestring
  • bytestring-builder
  • containers
  • data-hash
  • deepseq
  • directory
  • edit-distance
  • equivalence
  • erf
  • fail
  • filemanip
  • filepath
  • generic-deriving
  • geniplate-mirror
  • ghc-boot-th
  • ghc-prim
  • gitrev
  • hashable
  • hashtables
  • haskeline
  • ieee754
  • integer-gmp
  • mtl
  • murmur-hash
  • nats
  • network-uri
  • old-locale
  • old-time
  • parsec
  • pretty
  • primitive
  • process
  • random
  • regex-base
  • regex-tdfa
  • semigroups
  • split
  • stm
  • strict
  • tagged
  • template-haskell
  • tf-random
  • time
  • transformers
  • transformers-compat
  • unix-compat
  • unordered-containers
  • uri-encode
  • utf8-string
  • vector
  • zlib
ISC
  • th-abstraction
LicenseRefOtherLicense
  • Agda
MIT
  • EdisonAPI
  • EdisonCore
  • base-compat