imps
imps copied to clipboard
Get VERSION from the right place
Currently VERSION
is manually updated in the Makefile (see #65).
The version should really come from Git and/or GitHub Actions.