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