Reverse dependencies on boxes-0.1.5

There is a total of 4 dependencies in lts-20.13

<< Return to package page

• Agda-2.6.2.2@rev:2
• pptable-0.3.0.0@rev:1
• registry-options-0.1.0.0
• rp-tree-0.7.1