* [PR PATCH] zeroinstall: update to 2.17.
@ 2020-05-09 19:31 mobinmob
2020-05-09 20:02 ` [PR PATCH] [Merged]: " jnbr
0 siblings, 1 reply; 2+ messages in thread
From: mobinmob @ 2020-05-09 19:31 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 319 bytes --]
There is a new pull request by mobinmob against master on the void-packages repository
https://github.com/mobinmob/void-packages zeroinstall
https://github.com/void-linux/void-packages/pull/21797
zeroinstall: update to 2.17.
A patch file from https://github.com/void-linux/void-packages/pull/21797.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-zeroinstall-21797.patch --]
[-- Type: text/x-diff, Size: 1120 bytes --]
From c719ff515865b8cd2dfc2510d66e0877f32b5036 Mon Sep 17 00:00:00 2001
From: mobinmob <mobinmob@disroot.org>
Date: Sat, 9 May 2020 22:28:13 +0300
Subject: [PATCH] zeroinstall: update to 2.17.
---
srcpkgs/zeroinstall/template | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/srcpkgs/zeroinstall/template b/srcpkgs/zeroinstall/template
index e7c3a9fde9a..817adfdc493 100644
--- a/srcpkgs/zeroinstall/template
+++ b/srcpkgs/zeroinstall/template
@@ -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
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [PR PATCH] [Merged]: zeroinstall: update to 2.17.
2020-05-09 19:31 [PR PATCH] zeroinstall: update to 2.17 mobinmob
@ 2020-05-09 20:02 ` jnbr
0 siblings, 0 replies; 2+ messages in thread
From: jnbr @ 2020-05-09 20:02 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 162 bytes --]
There's a merged pull request on the void-packages repository
zeroinstall: update to 2.17.
https://github.com/void-linux/void-packages/pull/21797
Description:
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2020-05-09 20:02 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-05-09 19:31 [PR PATCH] zeroinstall: update to 2.17 mobinmob
2020-05-09 20:02 ` [PR PATCH] [Merged]: " jnbr
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).