Reverse dependencies on boxes-0.1.5

There is a total of 8 dependencies in nightly-2026-08-01

<< Return to package page

• Agda-2.8.0@rev:4
• board-games-0.4.0.3
• cuddle-1.8.1.0
• lapack-0.5.2@rev:1
• liquid-fixpoint-0.9.6.3.5
• perf-0.14.2.1
• pptable-0.3.0.0@rev:1
• rp-tree-0.7.1