diff options
-rw-r--r-- | audio/gnome-media/Makefile | 2 | ||||
-rw-r--r-- | audio/gnome-media/distinfo | 2 | ||||
-rw-r--r-- | audio/gnomemedia2/Makefile | 2 | ||||
-rw-r--r-- | audio/gnomemedia2/distinfo | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/audio/gnome-media/Makefile b/audio/gnome-media/Makefile index 73b6a0b61..19ef3eef7 100644 --- a/audio/gnome-media/Makefile +++ b/audio/gnome-media/Makefile @@ -6,7 +6,7 @@ # PORTNAME= gnomemedia2 -PORTVERSION= 2.3.7 +PORTVERSION= 2.3.8 CATEGORIES= audio gnome MASTER_SITES= ${MASTER_SITE_GNOME} MASTER_SITE_SUBDIR= sources/gnome-media/2.3 diff --git a/audio/gnome-media/distinfo b/audio/gnome-media/distinfo index 19c6686bc..4e1473106 100644 --- a/audio/gnome-media/distinfo +++ b/audio/gnome-media/distinfo @@ -1 +1 @@ -MD5 (gnome2/gnome-media-2.3.7.tar.bz2) = 998ef40d573870e3738c03364d6ff5e2 +MD5 (gnome2/gnome-media-2.3.8.tar.bz2) = f5d937ce82f0a16cdf0a093bb6663baf diff --git a/audio/gnomemedia2/Makefile b/audio/gnomemedia2/Makefile index 73b6a0b61..19ef3eef7 100644 --- a/audio/gnomemedia2/Makefile +++ b/audio/gnomemedia2/Makefile @@ -6,7 +6,7 @@ # PORTNAME= gnomemedia2 -PORTVERSION= 2.3.7 +PORTVERSION= 2.3.8 CATEGORIES= audio gnome MASTER_SITES= ${MASTER_SITE_GNOME} MASTER_SITE_SUBDIR= sources/gnome-media/2.3 diff --git a/audio/gnomemedia2/distinfo b/audio/gnomemedia2/distinfo index 19c6686bc..4e1473106 100644 --- a/audio/gnomemedia2/distinfo +++ b/audio/gnomemedia2/distinfo @@ -1 +1 @@ -MD5 (gnome2/gnome-media-2.3.7.tar.bz2) = 998ef40d573870e3738c03364d6ff5e2 +MD5 (gnome2/gnome-media-2.3.8.tar.bz2) = f5d937ce82f0a16cdf0a093bb6663baf |