community/mediainfo: upgrade to 19.07

This commit is contained in:
prspkt 2019-07-18 20:51:44 +03:00
parent f042c1188f
commit 9a8898b593
No known key found for this signature in database
GPG Key ID: 24BA3D41BDA6E870

View File

@ -1,7 +1,7 @@
# Contributor: Jakub Jirutka <jakub@jirutka.cz>
# Maintainer: Jakub Jirutka <jakub@jirutka.cz>
pkgname=mediainfo
pkgver=19.04
pkgver=19.07
pkgrel=0
pkgdesc="Supplies technical and tag information about media files (CLI)"
url="https://mediaarea.net/en/MediaInfo"
@ -44,4 +44,4 @@ package() {
make DESTDIR="$pkgdir" install
}
sha512sums="cb6cb3c4bc3a037267684bd850babe3ca5998954f93e86d5b25aad7c4641918546a012cf7c6df4ef8d6017c85ab159dc5ae0b18f166385f8c5cc940a6fb0b3ce mediainfo_19.04.tar.xz"
sha512sums="ef543b2b3fa61347adaa510fc3b051ff148e24ef6461e25b9f1d158f3c4b57ce96826d0c0e8ae46996092e0eb84e99308ba87d95dd0392b99f05b704438c5983 mediainfo_19.07.tar.xz"