atom-0.1.2: dependencies

Dependencies for atom-0.1.2

library	base (>=4 && <5) mtl (>=1.1.0.1 && <1.2) process (>=1.0.1.1 && <1.2) yices (>=0.0.0.4)