atom-0.1.3: dependencies

Dependencies for atom-0.1.3

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