Dependencies for copilot-language-4.2

There is a total of 8 dependencies in nightly-2025-02-01

<< Return to package page

• array-0.5.7.0
• base-4.20.0.0
• containers-0.7
• copilot-core-4.2
• copilot-interpreter-4.2
• copilot-theorem-4.2
• data-reify-0.6.4
• mtl-2.3.1