Index of /pub/linux/gnome/sources/gnome-mines/3.20/

../
LATEST-IS-3.20.1                                   14-Jun-2016 06:47             3147092
gnome-mines-3.20.0.news                            22-Mar-2016 07:24                  63
gnome-mines-3.20.0.sha256sum                       22-Mar-2016 07:24                 182
gnome-mines-3.20.0.tar.xz                          22-Mar-2016 07:24             3167484
gnome-mines-3.20.1.news                            14-Jun-2016 06:47                 120
gnome-mines-3.20.1.sha256sum                       14-Jun-2016 06:47                 182
gnome-mines-3.20.1.tar.xz                          14-Jun-2016 06:47             3147092