Index of /gnome/sources/gtksourceview/5.13

 Name                           Last modified      Size  Description
 Parent Directory                                    -   
 gtksourceview-5.13.0.sha256sum 2024-06-29 01:26  186   
 gtksourceview-5.13.1.sha256sum 2024-08-05 00:31  186   
 gtksourceview-5.13.0.news      2024-06-29 01:26  341   
 gtksourceview-5.13.1.news      2024-08-05 00:31  609   
 gtksourceview-5.13.0.tar.xz    2024-06-29 01:26  1.2M  
 LATEST-IS-5.13.1               2024-08-05 00:31  1.2M  
 gtksourceview-5.13.1.tar.xz    2024-08-05 00:31  1.2M

Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80