Reverse dependencies on boxes-0.1.5

There is a total of 5 dependencies in lts-18.0

<< Return to package page

• Agda-2.6.1.3
• lapack-0.3.2@rev:1
• liquid-fixpoint-0.8.10.2
• pptable-0.3.0.0@rev:1
• rp-tree-0.6