Dependencies for universe-instances-extended-1.1

There is a total of 4 dependencies in nightly-2019-07-22

<< Return to package page

• adjunctions-4.4@rev:2
• base-4.12.0.0
• comonad-5.0.5
• universe-base-1.1.1