Reverse dependencies on STMonadTrans-0.4.8

There is a total of 2 dependencies in nightly-2025-01-04

<< Return to package page

• Agda-2.7.0.1@rev:2
• equivalence-0.4.1