Index of /pub/linux/debian/debian-ports/pool/main/g/gedit-plugins
Name Last modified Size
Parent Directory -
gedit-plugin-bookmarks_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugin-bracket-completion_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugin-character-map_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugin-code-comment_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugin-color-picker_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugin-draw-spaces_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugin-join-lines_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugin-multi-edit_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugin-session-saver_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugin-smart-spaces_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugin-terminal_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugin-word-completion_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugins-common_50.0-4_all.deb 2026-11-01 19:19 2.7K
gedit-plugins_50.0-4_all.deb 2026-11-01 19:19 2.7K