Dependencies for universe-instances-extended-1.1.3

There is a total of 5 dependencies in nightly-2022-09-24

<< Return to package page

• adjunctions-4.4.2
• base-4.16.3.0
• comonad-5.0.8@rev:1
• containers-0.6.5.1
• universe-base-1.1.3@rev:3