Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
copilot-theorem-2.2.1
library
ansi-terminal
base
(>=4.0 && <5)
bimap
containers
copilot-core
(==2.2.1)
data-default
directory
mtl
parsec
pretty
process
random
smtlib2
(>=0.3 && <1.0)
transformers
xml