Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
copilot-theorem-3.18
library
base
(>=4.9 && <5)
bimap
(>=0.3 && <0.4 || >=0.5 && <0.6)
bv-sized
(>=1.0.2 && <1.1)
containers
(>=0.4 && <0.7)
copilot-core
(>=3.18 && <3.19)
copilot-prettyprinter
(>=3.18 && <3.19)
data-default
(>=0.7 && <0.8)
directory
(>=1.3 && <1.4)
libBF
(>=0.6.2 && <0.7)
mtl
(>=2.0 && <2.4)
panic
(>=0.4.0 && <0.5)
parameterized-utils
(>=2.1.1 && <2.2)
parsec
(>=2.0 && <3.2)
pretty
(>=1.0 && <1.2)
process
(>=1.6 && <1.7)
random
(>=1.1 && <1.3)
transformers
(>=0.5 && <0.7)
what4
(>=1.3 && <1.6)
xml
(>=1.3 && <1.4)