Dependencies for aig-0.2.5

library