Dependencies for universe-instances-extended-1.1.3

There is a total of 5 dependencies in nightly-2023-08-21

<< Return to package page

• adjunctions-4.4.2@rev:1
• base-4.18.0.0
• comonad-5.0.8@rev:1
• containers-0.6.7
• universe-base-1.1.3.1