Dependencies for smallcheck-1.2.0

library