aboutsummaryrefslogtreecommitdiff
path: root/devel/uppaal/distinfo
blob: 689fbe01cb7f3a7a2288139482aa1ec622b38617 (plain) (blame)
1
2
3