6 Mar
2024
6 Mar
'24
10:18 p.m.
mads256h [1] filed a deletion request for uppaal5 [2]: The upstream developers has created their own packages namely uppaal and uppaal-beta, and has requested me to delete this package. [1] https://aur.archlinux.org/account/mads256h/ [2] https://aur.archlinux.org/pkgbase/uppaal5/