Licenses for agda-server

Return to license list

License	Packages
BSD2	text
BSD3	Cabal Glob HJavaScript HTTP HUnit JuicyPixels QuickCheck SHA STMonadTrans Win32 aeson aeson-pretty agda-server ansi-terminal array asn1-encoding asn1-parse asn1-types async attoparsec base base64-bytestring basement binary bitarray blaze-builder blaze-html blaze-markup boxes byteable bytestring bytestring-builder case-insensitive cereal clock cmark-gfm cmdargs connection containers cryptonite data-default data-default-class data-default-instances-containers data-default-instances-dlist data-default-instances-old-locale data-hash deepseq deepseq-generics digest directory dlist doctemplates edit-distance equivalence erf exceptions fail filemanip filepath foundation generic-deriving geniplate-mirror ghc-boot-th ghc-prim gitrev haddock-library hashable hashtables haskeline haskell-lexer hourglass http-types ieee754 integer-gmp io-streams io-streams-haproxy lifted-base memory mintty monad-control mtl murmur-hash nats network network-uri old-locale old-time pandoc-types parsec pem pretty primitive process random readable regex-base regex-pcre-builtin regex-posix regex-tdfa safe scientific semigroups skylighting-core snap-core snap-server socks split stm strict syb tagged tagsoup template-haskell temporary tf-random time time-locale-compat tls transformers transformers-base transformers-compat unicode-transforms unix-compat unordered-containers uri-encode utf8-string uuid-types vector x509 x509-store x509-system x509-validation xhtml xml zip-archive zlib zlib-bindings
GPL-2	HsYAML pandoc skylighting texmath
ISC	th-abstraction
LicenseRefOtherLicense	Agda
MIT	EdisonAPI EdisonCore base-compat base-orphans call-stack colour cookie hslua hslua-module-text http-client http-client-tls hxt hxt-charproperties hxt-regex-xmlschema hxt-unicode integer-logarithms mime-types pretty-show streaming-commons