Release Version v0.14.3
FlorianK13 opened this issue · comments
Florian Kotthoff commented
Release Date: 2024-XX-XX
Fixing bulk download and deprecate old feature MaStR-Mirror
:
- Add versions to
changelog.md
- Fix and update package metadata in
setup.py
- Update
citation.cff
- Release on github