PropLogic-0.9.0.4: dependencies

Dependencies for PropLogic-0.9.0.4

library	base (<5) old-time random
program	base (<5) old-time random