Index of /pool/main/g/gedit-plugins
Name
Last modified
Size
Description
Parent Directory
-
gedit-plugins_3.4.0-1_armhf.deb
2012-05-17 08:41
1.5M
gedit-plugins_3.14.0-2_armhf.deb
2014-11-10 11:10
513K
Apache/2.4.41 (Ubuntu) Server at raspbian.luxerone.com Port 443