opentheory-prime-1.80: dependencies

Dependencies for opentheory-prime-1.80

library	base (>=4.0 && <5.0) opentheory (>=1.193 && <1.197) opentheory-divides (>=1.53 && <1.57) opentheory-primitive (>=1.4 && <2.0) opentheory-stream (>=1.42 && <1.44) QuickCheck (>=2.4.0.1 && <3.0)