Index of /pub/gwdg/ubuntu/22.04/pool/universe/g/gedit-plugins/

../
gedit-plugin-bookmarks_41.0-1_amd64.deb            17-Feb-2022 06:10               31020
gedit-plugin-bracket-completion_41.0-1_amd64.deb   17-Feb-2022 06:10               16568
gedit-plugin-character-map_41.0-1_amd64.deb        17-Feb-2022 06:10               19584
gedit-plugin-code-comment_41.0-1_amd64.deb         17-Feb-2022 06:10               20722
gedit-plugin-color-picker_41.0-1_amd64.deb         17-Feb-2022 06:10               21166
gedit-plugin-color-schemer_41.0-1_amd64.deb        17-Feb-2022 06:10               17256
gedit-plugin-commander_41.0-1_amd64.deb            17-Feb-2022 06:10               46156
gedit-plugin-draw-spaces_41.0-1_amd64.deb          17-Feb-2022 06:10               21676
gedit-plugin-find-in-files_41.0-1_amd64.deb        17-Feb-2022 06:10               30692
gedit-plugin-git_41.0-1_amd64.deb                  17-Feb-2022 06:10               23160
gedit-plugin-join-lines_41.0-1_amd64.deb           17-Feb-2022 06:10               20802
gedit-plugin-multi-edit_41.0-1_amd64.deb           17-Feb-2022 06:10               27102
gedit-plugin-session-saver_41.0-1_amd64.deb        17-Feb-2022 06:10               18830
gedit-plugin-smart-spaces_41.0-1_amd64.deb         17-Feb-2022 06:10                9266
gedit-plugin-synctex_41.0-1_amd64.deb              17-Feb-2022 06:10               18228
gedit-plugin-terminal_41.0-1_amd64.deb             17-Feb-2022 06:10               19318
gedit-plugin-text-size_41.0-1_amd64.deb            17-Feb-2022 06:10               17440
gedit-plugin-translate_41.0-1_amd64.deb            17-Feb-2022 06:10               21390
gedit-plugin-word-completion_41.0-1_amd64.deb      17-Feb-2022 06:10               24418
gedit-plugins-common_41.0-1_amd64.deb              17-Feb-2022 06:10              349600
gedit-plugins_41.0-1_all.deb                       17-Feb-2022 06:10                9754