heyting-algebras-0.0.2.0: dependencies

Dependencies for heyting-algebras-0.0.2.0

library	base (>=4.9 && <4.13) containers (>=0.4.2 && <0.7) free-algebras (>=0.0.4 && <0.0.8) hashable (>=1.2.6.1 && <1.3) lattices (>=1.0 && <1.8) semiring-simple (>=1.0 && <1.2) tagged (>=0.8.5 && <0.9) universe-base (>=1.0 && <1.1) unordered-containers (>=0.2.6.0 && <0.3)