The hardware and bandwidth for this mirror is donated by METANET, the Webhosting and Full Service-Cloud Provider.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]metanet.ch.
../ gnome-tweak-tool_3.10.1-2ubuntu1.debian.tar.gz 24-Mar-2014 08:58 4622 gnome-tweak-tool_3.10.1-2ubuntu1.dsc 24-Mar-2014 08:58 1823 gnome-tweak-tool_3.10.1-2ubuntu1_all.deb 24-Mar-2014 09:08 120014 gnome-tweak-tool_3.10.1.orig.tar.xz 31-Jan-2014 06:23 240564 gnome-tweak-tool_3.18.1-1.debian.tar.xz 12-Nov-2015 17:14 4108 gnome-tweak-tool_3.18.1-1.dsc 12-Nov-2015 17:14 2332 gnome-tweak-tool_3.18.1-1_all.deb 12-Nov-2015 17:59 165590 gnome-tweak-tool_3.18.1.orig.tar.xz 12-Nov-2015 17:14 252716
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.