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

Bug 558

Summary: Uppaal GUI/MacOs X 10.8.4 download file damaged
Product: UPPAAL Reporter: Jonathan <jonathan>
Component: GUIAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: enhancement CC: john.j.camilleri
Priority: P5    
Version: 4.0.13   
Hardware: Macintosh   
OS: Mac OS   

Description Jonathan 2013-07-11 21:30:47 CEST
Downloading macos 4.0.13 and also the latest 4.1, I get a message that is damaged etc. 

A colleagues version of 4.0.13, opens, but then the GUI deadlocks!

I have the Java 7 JRE installed.
Comment 1 John J. Camilleri 2013-12-06 12:43:55 CET
I am experiencing the same issue as Jonathan.
UPPAAL 4.0.13-aca
OSX 0.9 Mavericks
Java SE Version 7 Update 45
Comment 2 John J. Camilleri 2013-12-06 12:54:45 CET
Ok, it seems that the instructions on the "Known Issues" page work. See item #16 here:

> 16. You cannot install UPPAAL on Mac OS Lion or later.
> Delete the dmg file you downloaded.
> Open Preferences.
> Open Security and Privacy.
> Select "Allow applications downloaded from: " anywhere.
> Download UPPAAL again and install.

After doing this and opening once, you can change your preferences back to the way they were and UPPAAL should continue to work.