Dependencies for universe-instances-extended-1.1.3

There is a total of 5 dependencies in nightly-2023-01-15

<< Return to package page

• adjunctions-4.4.2
• base-4.17.0.0
• comonad-5.0.8@rev:1
• containers-0.6.6
• universe-base-1.1.3@rev:3