Reverse dependencies on boxes-0.1.5

There is a total of 2 dependencies in nightly-2018-07-09

<< Return to package page

• Agda-2.5.4
• pptable-0.3.0.0@rev:1