{
        "releaseDate": "2023-06-21",
        "version": "5.0.0", 
        "message": "
<b>Uppaal v5.0.0</b> final release is now available:<br/>
<a href='https://uppaal.org/downloads#uppaal5.0'>https://uppaal.org/downloads#uppaal5.0</a><br/><br/>
Full changelog is available<br/>
<a href='https://uppaal.org/changelog/#uppaal'>https://uppaal.org/changelog/#uppaal</a>
"
}