Dependencies for universe-instances-extended-1.1.4

There is a total of 3 dependencies in nightly-2026-01-18

<< Return to package page

• adjunctions-4.4.4
• comonad-5.0.10
• universe-base-1.1.4@rev:1