Dependencies for decidable-0.3.1.1

There is a total of 6 dependencies in nightly-2024-12-11

<< Return to package page

• base-4.20.0.0
• functor-products-0.1.2.2
• microlens-0.4.13.1@rev:1
• singletons-3.0.4
• singletons-base-3.4
• vinyl-0.14.3