Dependencies for kan-extensions-1.9.0

library