Dependencies for copilot-language-4.0

There is a total of 8 dependencies in nightly-2024-10-07

<< Return to package page

• array-0.5.6.0
• base-4.19.1.0
• containers-0.6.8
• copilot-core-4.0
• copilot-interpreter-4.0
• copilot-theorem-4.0
• data-reify-0.6.3@rev:3
• mtl-2.3.1