This repository was archived by the owner on Dec 20, 2025. It is now read-only.
0.3.0
CHANGES:
Breaking change:
- Program version is set in
Private_common
Bug fixes:
- Delete 7z archive at the start of each
opam installso adding to archive
does not duplicate entries.