Dependencies for dph-lifted-vseg-0.6.0.2

library