Index of /gnome/sources/gtksourceview/4.2

 Name                          Last modified      Size  Description
 Parent Directory                                   -   
 LATEST-IS-4.2.0               2019-03-16 01:52  1.3M  
 gtksourceview-4.2.0.news      2019-03-16 01:52  733   
 gtksourceview-4.2.0.sha256sum 2019-03-16 01:52  184   
 gtksourceview-4.2.0.tar.xz    2019-03-16 01:52  1.3M

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