Licenses for agda-server

Return to license list

License	Packages
BSD-2-Clause	haddock-library text
BSD-3-Clause	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 base16-bytestring base64-bytestring basement binary bitarray blaze-builder blaze-html blaze-markup boxes 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 digest directory dlist doclayout doctemplates edit-distance emojis equivalence errors exceptions fail filemanip filepath foundation generic-deriving geniplate-mirror ghc-boot-th ghc-prim gitrev hashable hashtables haskeline haskell-lexer hourglass http-types ieee754 integer-gmp io-streams io-streams-haproxy ipynb 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 splitmix stm strict syb tagged tagsoup template-haskell temporary time time-compat 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.0-only	HsYAML pandoc skylighting texmath
ISC	text-conversions th-abstraction
LGPL-2.1-only	regex-posix-clib
LicenseRef-OtherLicense	Agda
MIT	EdisonAPI EdisonCore base-compat base-orphans call-stack colour cookie hslua hslua-module-system hslua-module-text http-client http-client-tls hxt hxt-charproperties hxt-regex-xmlschema hxt-unicode integer-logarithms jira-wiki-markup mime-types pretty-show streaming-commons