Reverse dependencies on STMonadTrans-0.4.7

There is a total of 2 dependencies in nightly-2023-08-01

<< Return to package page

• Agda-2.6.3@rev:3
• equivalence-0.4.1