Reverse dependencies on boxes-0.1.4

There is a total of 2 dependencies in lts-8.13

<< Return to package page

• Agda-2.5.2@rev:2
• b9-0.5.31