Index of /debian/12.5.0/pool/main/g/gedit-plugins
Name
Last modified
Size
Description
Parent Directory
-
gedit-plugin-bookmarks_44.1-2_amd64.deb
2023-01-23 02:11
30K
gedit-plugin-bracket-completion_44.1-2_amd64.deb
2023-01-23 02:11
17K
gedit-plugin-character-map_44.1-2_amd64.deb
2023-01-23 02:11
20K
gedit-plugin-code-comment_44.1-2_amd64.deb
2023-01-23 02:11
21K
gedit-plugin-color-picker_44.1-2_amd64.deb
2023-01-23 02:11
22K
gedit-plugin-color-schemer_44.1-2_amd64.deb
2023-01-23 02:11
18K
gedit-plugin-draw-spaces_44.1-2_amd64.deb
2023-01-23 02:11
19K
gedit-plugin-git_44.1-2_amd64.deb
2023-01-23 02:11
24K
gedit-plugin-join-lines_44.1-2_amd64.deb
2023-01-23 02:11
22K
gedit-plugin-multi-edit_44.1-2_amd64.deb
2023-01-23 02:11
28K
gedit-plugin-session-saver_44.1-2_amd64.deb
2023-01-23 02:11
20K
gedit-plugin-smart-spaces_44.1-2_amd64.deb
2023-01-23 02:11
10K
gedit-plugin-synctex_44.1-2_amd64.deb
2023-01-23 02:11
19K
gedit-plugin-terminal_44.1-2_amd64.deb
2023-01-23 02:11
20K
gedit-plugin-text-size_44.1-2_amd64.deb
2023-01-23 02:11
19K
gedit-plugin-word-completion_44.1-2_amd64.deb
2023-01-23 02:11
24K
gedit-plugins-common_44.1-2_amd64.deb
2023-01-23 02:11
284K
gedit-plugins_44.1-2_all.deb
2023-01-22 23:57
12K
Apache/2.4.62 (Debian) Server at mirror.wuchai.net Port 8080