Index of /debian-ports/pool/main/g/gedit-plugins
Name Last modified Size Description
Parent Directory -
gedit-plugins_3.32.0-1_all.deb 11-Mar-2019 03:06 14K
gedit-plugins_3.34.0-2_all.deb 27-Sep-2019 00:12 14K
gedit-plugins_3.34.0-3_all.deb 13-Oct-2019 03:51 14K
gedit-plugins_3.35.90-1_all.deb 17-Feb-2020 18:32 15K
gedit-plugins_3.36.0-1_all.deb 09-Mar-2020 17:35 15K
gedit-plugins_3.36.2-1_all.deb 27-Mar-2020 00:39 15K
gedit-plugins_3.30.1-3_all.deb 24-Dec-2018 17:12 85K
Apache/2.2.22 (Debian) Server at mirrors.rackhosting.com Port 80