Version number of HPIPM?

[stephane-caron]

I have compiled the latest cf7d923, yet the string returned in Python by importlib.metadata.version("hpipm_python") is still "0.2" (the same I saw previously).

I see three version numbers in the hpipm repository actually:

• version.txt says 0.1.2
• GitHub releases say 0.1.3
• interfaces/python/hpipm_python/setup.py says 0.2

Which one is the correct one (that should be reported e.g. to users in benchmarks)? And if some of them are outdated, would it be possible to harmonize them?