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 Status NEW ASSIGNED
OS Linux All
Version unspecified 4.1.20-7

Back to bug 680