Dependencies for lattices-1.7

library