This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 598

Summary: Can't download uppaal.org
Product: Web page Reporter: clement.tarriere
Component: MiscAssignee: Marius Mikučionis <marius>
Status: RESOLVED FIXED    
Severity: normal CC: marius
Priority: P5    
Version: unspecified   
Hardware: PC   
OS: Mac OS   
Architecture:

Description clement.tarriere 2015-09-10 11:52:47 CEST
On uppaal.org, I can't download the software. Even if I fill the form it says all the mandatory fields were blank (and it was not).
Comment 1 Marius Mikučionis 2019-10-21 10:20:39 CEST
I belive this has been fixed (long time ago).
Taking over and marking it as fixed. Feel free to reopen if the issue persists.