Dependencies for singletons-presburger-0.7.4.0

There is a total of 10 dependencies in nightly-2024-12-24

<< Return to package page

• base-4.20.0.0
• equational-reasoning-0.7.0.3@rev:1
• ghc-9.10.1
• ghc-typelits-presburger-0.7.4.0
• mtl-2.3.1
• reflection-2.1.9
• singletons-3.0.4
• singletons-base-3.4
• singletons-presburger-0.7.4.0
• singletons-th-3.4