Index of /pub/X11/GNOME/sources/gedit-plugins/42

 Name                                  Last modified      Size  
 Parent Directory                                           -   
 LATEST-IS-42.1                        2022-05-27 07:59  924K  
 gedit-plugins-42.0.news               2022-04-04 23:22   73   
 gedit-plugins-42.0.sha256sum          2022-04-04 23:22  182   
 gedit-plugins-42.0.tar.xz             2022-04-04 23:22  927K  
 gedit-plugins-42.1.news               2022-05-27 07:59   74   
 gedit-plugins-42.1.sha256sum          2022-05-27 07:59  182   
 gedit-plugins-42.1.tar.xz             2022-05-27 07:59  924K