smtlib-backends-process-0.3: dependencies

Dependencies for smtlib-backends-process-0.3

library	base (>=4.14 && <4.20) bytestring (>=0.10.12 && <0.13) process (>=1.6 && <1.7) smtlib-backends (>=0.3 && <0.4)