Dependencies for copilot-language-4.5.1

There is a total of 8 dependencies in lts-24.10

<< Return to package page

• array-0.5.8.0
• base-4.20.1.0
• containers-0.7
• copilot-core-4.5.1
• copilot-interpreter-4.5.1
• copilot-theorem-4.5.1
• data-reify-0.6.4
• mtl-2.3.1