{ "rev": "refs/tags/v0.9.8", "version": "0.9.8", "hash": "XCADVJp3d2wHl1Kn2O+mXR6TiAA4ylNy1OfDg9GkJmg=", "paths": { "": ["proof9"] } }