| Name | Size | Date |
|---|---|---|
| / | ||
| gnome-shell-timer_0.3.20+20190726-1.debian.tar.xz | 7,276 | Sun, 25 Oct 2020 15:35:11 +0000 |
| gnome-shell-timer_0.3.20+20190726-1.dsc | 1,716 | Sun, 25 Oct 2020 15:35:11 +0000 |
| gnome-shell-timer_0.3.20+20190726-1_all.deb | 100,960 | Sun, 25 Oct 2020 16:00:30 +0000 |
| gnome-shell-timer_0.3.20+20190726.orig.tar.gz | 113,591 | Sun, 25 Oct 2020 15:35:11 +0000 |