Dependencies for universe-instances-extended-1.1.3

There is a total of 5 dependencies in nightly-2023-11-06

<< Return to package page

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