Flint2-0.1.0.5: dependencies

Dependencies for Flint2-0.1.0.5

library	base (>=4.7 && <5) containers (>=0.6.5 && <0.7) groups (>=0.5.3 && <0.6) QuickCheck (>=2.14.3 && <2.15)