Name Last modified Size Description
Parent Directory -
gedit-plugins-3.14.1-2.tar.xz 07-May-2015 01:42 580K
gedit-plugins-3.14.1-2-src.tar.xz 07-May-2015 01:42 1.2M
gedit-plugins-3.18.0-1.tar.xz 30-Nov-2015 08:43 609K
gedit-plugins-3.18.0-1-src.tar.xz 30-Nov-2015 08:43 1.3M
gedit-plugins-3.14.1-2.hint 08-Feb-2017 08:37 416
gedit-plugins-3.18.0-1.hint 08-Feb-2017 08:37 416
gedit-plugins-3.22.0-1-src.tar.xz 20-Mar-2017 22:42 1.3M
gedit-plugins-3.22.0-1.hint 20-Mar-2017 22:42 416
gedit-plugins-3.22.0-1.tar.xz 20-Mar-2017 22:42 566K
gedit-plugins-debuginfo/ 11-Mar-2020 16:51 -
gedit-plugins-3.14.1-2-src.hint 21-Jun-2021 23:05 126
gedit-plugins-3.18.0-1-src.hint 21-Jun-2021 23:05 126
gedit-plugins-3.22.0-1-src.hint 21-Jun-2021 23:05 126
sha512.sum 11-Jan-2022 17:14 1.9K
Apache/2.2 Server at ftp.ntua.gr Port 80