zeroinstall: update to 2.17.

This commit is contained in:
mobinmob 2020-05-09 22:28:13 +03:00 committed by Johannes
parent dace272ca3
commit 1c1204738c

View file

@ -1,7 +1,7 @@
# Template file for 'zeroinstall'
pkgname=zeroinstall
version=2.16
revision=2
version=2.17
revision=1
wrksrc="0install-v${version}"
build_style=gnu-makefile
make_install_target="install_system"
@ -13,7 +13,7 @@ maintainer="mobinmob <mobinmob@disroot.org>"
license="LGPL-2.1-only"
homepage="http://0install.net"
distfiles="https://github.com/0install/0install/releases/download/v${version}/0install-v${version}.tbz"
checksum=4a040cd8ab3a55a84f8daec48306b45d9c9662860fe003c927ef8b485cdecef3
checksum=1704e5d852bad79ef9f5b5b31146846420270411c5396434f6fe26577f2d0923
nocross="opam is nocross"
disable_parallel_build=yes