Zenmodo only lists versions up to 8.11.0 (https://zenodo.org/search?page=1&size=20&q=conceptrecid:%221003420%22&sort=-version&all_versions=True). Is there supposed to be 8.12.0 as well, there?
Sorry, I still haven't taken care of this. (I should work on automating it.)
Done! cc also @Karl Palmskog
Last updated: Jun 08 2023 at 04:01 UTC