Log Message:
update distinfo again (no functional change)

Upstream had reported the wrong release version in the module and the fix
updated the already released archive without bumping the version.

See:
https://github.com/open-quantum-safe/oqs-provider/issues/550