language-sygus-0.1.0.0: dependencies

Dependencies for language-sygus-0.1.0.0

library	array (>=0.3 && <0.6) base (>=4.10 && <4.13) text (>=1.1 && <=1.3)