Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
DifferenceLogic-0.1.0.4
library
base
(>=4.6 && <4.7)
containers
(>=0.5 && <0.6)
fgl
FirstOrderTheory
HUnit
(>=1.2 && <1.3)