Dependencies for kan-extensions-5.0.1

library