{
        "releaseDate": "2023-12-11",
        "version": "5.1.0-beta5", 
        "message": "
<b>Uppaal v5.1.0 beta5</b> 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>
"
}