git: 6d45bde1e5c7 - main - audio/dmidiplayer: Update 1.7.1 → 1.7.2

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Thu, 13 Jul 2023 05:34:59 UTC

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=6d45bde1e5c7141abbf731fdab2e4992470c8c37

commit 6d45bde1e5c7141abbf731fdab2e4992470c8c37
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-07-13 04:29:27 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-07-13 05:34:55 +0000

    audio/dmidiplayer: Update 1.7.1 → 1.7.2
    
    Reported by:    portscout
---
 audio/dmidiplayer/Makefile | 3 +--
 audio/dmidiplayer/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/audio/dmidiplayer/Makefile b/audio/dmidiplayer/Makefile
index c5da927396e1..8a0b477055f6 100644
--- a/audio/dmidiplayer/Makefile
+++ b/audio/dmidiplayer/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	dmidiplayer
-DISTVERSION=	1.7.1
-PORTREVISION=	1
+DISTVERSION=	1.7.2
 CATEGORIES=	audio
 MASTER_SITES=	SF/${PORTNAME}/v${DISTVERSION}/
 
diff --git a/audio/dmidiplayer/distinfo b/audio/dmidiplayer/distinfo
index 3fd4f31061f0..82381fb652ca 100644
--- a/audio/dmidiplayer/distinfo
+++ b/audio/dmidiplayer/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1670483193
-SHA256 (dmidiplayer-1.7.1.tar.bz2) = e8a515b76cf18543c09be0a6712360f7649ee9fec9e3339f3a6a89b1b9948382
-SIZE (dmidiplayer-1.7.1.tar.bz2) = 1706646
+TIMESTAMP = 1689220035
+SHA256 (dmidiplayer-1.7.2.tar.bz2) = da517e529a8aafe8e9ca5a94f0be162778c4addac2340846e8bc1e54ebb82a48
+SIZE (dmidiplayer-1.7.2.tar.bz2) = 1513554