Repository navigation
Release 4.7.1 #730
Description
Description
Version 4.7.1 of Copilot should be closed and published on Hackage.
Type
- Management: release and publication.
Additional context
None.
Requester
- Ivan Perez.
Method to check presence of bug
Not applicable (not a bug).
Expected result
- Cabal files indicate new version number, constraints are adjusted as needed, commit is tagged with version number, and packages are published on hackage.
Desired result
- Cabal files indicate new version number, constraints are adjusted as needed, commit is tagged with version number, and packages are published on hackage.
Proposed solution
- Cabal files indicate new version number, constraints are adjusted as needed, commit is tagged with version number, and packages are published on hackage.
Further notes
None.
Activity
ivanperez-keera commentedon May 8, 2026
Change Manager: Confirmed that the issue exists.
ivanperez-keera commentedon May 8, 2026
Technical Lead: Confirmed that the issue should be addressed.
ivanperez-keera commentedon May 8, 2026
Technical Lead: Issue scheduled for fixing in Copilot 4.7.1.
Fix assigned to: @ivanperez-keera .
16 remaining items
copilot-core: Document changes in CHANGELOG. Refs #730.
copilot-bluespec: Document changes in CHANGELOG. Refs #730.
copilot-c99: Document changes in CHANGELOG. Refs #730.
copilot-prettyprinter: Document changes in CHANGELOG. Refs #730.
copilot-interpreter: Document changes in CHANGELOG. Refs #730.
copilot-theorem: Document changes in CHANGELOG. Refs #730.
copilot-language: Document changes in CHANGELOG. Refs #730.
copilot-libraries: Document changes in CHANGELOG. Refs #730.
copilot-verifier: Document changes in CHANGELOG. Refs #730.
copilot-visualizer: Document changes in CHANGELOG. Refs #730.
copilot: Document changes in CHANGELOG. Refs #730.
Merge branch 'release-4.7.1'. Close Copilot-Language#730.