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

Back to bug 680

Who When What Removed Added
marius 2020-06-08 09:31:07 CEST Version unspecified 4.1.20-7
Status NEW ASSIGNED
OS Linux All

Back to bug 680