Dependencies for quickspec-2

library