Agda-2.5.3
Cabal-2.0.1.0
Diff-0.3.4
EdisonAPI-1.3.1
EdisonCore-1.3.2.1
HTTP-4000.3.12
HUnit-1.6.0.0
QuickCheck-2.10.1
STMonadTrans-0.4.3
ShellCheck-0.6.0
X11-1.8
X11-xft-0.3.1
aeson-1.2.4.0
ansi-terminal-0.8.0.4
array-0.5.2.0
async-2.1.1.1
attoparsec-0.13.2.2
base-4.10.1.0
base-compat-0.9.3
base-orphans-0.7
base16-bytestring-0.1.1.6
base64-bytestring-1.0.0.1