diff options
-rw-r--r-- | editors/gedit-plugins/Makefile | 2 | ||||
-rw-r--r-- | editors/gedit-plugins/distinfo | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/editors/gedit-plugins/Makefile b/editors/gedit-plugins/Makefile index eb70e6cb3..89e0c681b 100644 --- a/editors/gedit-plugins/Makefile +++ b/editors/gedit-plugins/Makefile @@ -3,7 +3,7 @@ # $MCom$ PORTNAME= gedit-plugins -PORTVERSION= 3.14.0 +PORTVERSION= 3.14.1 CATEGORIES= editors gnome MASTER_SITES= GNOME DIST_SUBDIR= gnome3 diff --git a/editors/gedit-plugins/distinfo b/editors/gedit-plugins/distinfo index 056c307a2..a4fb90ddc 100644 --- a/editors/gedit-plugins/distinfo +++ b/editors/gedit-plugins/distinfo @@ -1,2 +1,2 @@ -SHA256 (gnome3/gedit-plugins-3.14.0.tar.xz) = ae0e45eeb7fbac6f5eb17c932d5ea32359ed7c399eabcb7a7878c6e4566b09aa -SIZE (gnome3/gedit-plugins-3.14.0.tar.xz) = 1287660 +SHA256 (gnome3/gedit-plugins-3.14.1.tar.xz) = d0f4b8282e91dc3f77698aa4c8a6bd09df057b4df77fb86594c402fe7347b881 +SIZE (gnome3/gedit-plugins-3.14.1.tar.xz) = 1291776 |