Index of /pub/GNOME/sources/gedit-plugins/3.30/?C=N&O=D
Name Last modified Size
Parent Directory -
gedit-plugins-3.30.1.tar.xz 2018-09-24 18:59 1.3M
gedit-plugins-3.30.1.sha256sum 2018-09-24 18:59 186
gedit-plugins-3.30.1.news 2018-09-24 18:59 138
gedit-plugins-3.30.0.tar.xz 2018-09-03 00:59 1.3M
gedit-plugins-3.30.0.sha256sum 2018-09-03 00:59 186
gedit-plugins-3.30.0.news 2018-09-03 00:59 88
LATEST-IS-3.30.1 2018-09-24 18:59 1.3M