Reverse dependencies on boxes-0.1.5

There is a total of 5 dependencies in nightly-2025-01-16

<< Return to package page

• Agda-2.7.0.1@rev:2
• board-games-0.4@rev:2
• perf-0.14.0.1
• pptable-0.3.0.0@rev:1
• rp-tree-0.7.1