2 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
uppaal 5.0.0-3 0 0.00 Verify timed automata models and learn strategies. falkecarlsen 2024-03-07 09:19 (UTC)
gnome-mojave-timed-wallpaper v4-2 2 0.00 GNOME time based Mojave wallpaper julthon 2018-11-05 14:20 (UTC)

2 packages found. Page 1 of 1.