Index of /ubuntu-ports/pool/universe/g/gnome-shell-timer
Name
Last modified
Size
Parent Directory
-
gnome-shell-timer_0.0.20130422-1.debian.tar.gz
2013-10-21 13:19
2.4K
gnome-shell-timer_0.0.20130422-1.dsc
2013-10-21 13:19
2.0K
gnome-shell-timer_0.0.20130422-1_all.deb
2013-10-22 02:09
17K
gnome-shell-timer_0.0.20130422.orig.tar.gz
2013-10-21 13:19
26K
gnome-shell-timer_0.3.12+20140924-3.debian.tar.xz
2015-10-23 21:26
2.9K
gnome-shell-timer_0.3.12+20140924-3.dsc
2015-10-23 21:26
1.7K
gnome-shell-timer_0.3.12+20140924-3_all.deb
2015-10-24 00:56
15K
gnome-shell-timer_0.3.12+20140924.orig.tar.gz
2014-10-24 08:19
26K
gnome-shell-timer_0.3.20+20171025-2.debian.tar.xz
2018-02-25 05:16
3.0K
gnome-shell-timer_0.3.20+20171025-2.dsc
2018-02-25 05:16
1.7K
gnome-shell-timer_0.3.20+20171025-2_all.deb
2018-02-25 05:29
98K
gnome-shell-timer_0.3.20+20171025-4.debian.tar.xz
2019-12-28 23:13
6.0K
gnome-shell-timer_0.3.20+20171025-4.dsc
2019-12-28 23:13
1.7K
gnome-shell-timer_0.3.20+20171025-4_all.deb
2019-12-28 23:43
98K
gnome-shell-timer_0.3.20+20171025.orig.tar.gz
2018-02-06 17:28
111K
Apache/2.4.29 (Ubuntu) Server at de.ports.ubuntu.com Port 80