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

Uppaal 4.0.14 server dependencies on healthy Windows 8.1 64bit
msvcrt-dependencies.png (image/png), deleted, created by Marius Mikučionis on 2015-12-16 11:33:31 CET
(hide)
 
Creator: Marius Mikučionis
Created: 2015-12-16 11:33:31 CET
Size: deleted
The content of this attachment has been deleted.
Actions: View
Attachments on bug 590: 285 | 286