summaryrefslogtreecommitdiff
path: root/manualPorts/check-kernel/Pkgfile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-01-05 17:25:01 +0100
committerErich Eckner <git@eckner.net>2019-01-05 17:25:01 +0100
commitd2e8a919ebaab0f2190f7087a9a89a165bedc41c (patch)
tree557d88b8c22b8856884be33d510a64cececba8fc /manualPorts/check-kernel/Pkgfile
parent727670f4196a37ef93af47aec6340345beb53a0d (diff)
downloadcrux-ports-d2e8a919ebaab0f2190f7087a9a89a165bedc41c.tar.xz
check-kernel: 0.3.4 -> 0.4
Diffstat (limited to 'manualPorts/check-kernel/Pkgfile')
-rw-r--r--manualPorts/check-kernel/Pkgfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/manualPorts/check-kernel/Pkgfile b/manualPorts/check-kernel/Pkgfile
index 4fecadc..a6a9717 100644
--- a/manualPorts/check-kernel/Pkgfile
+++ b/manualPorts/check-kernel/Pkgfile
@@ -4,7 +4,7 @@
# Depends on:
name=check-kernel
-version=0.3.4
+version=0.4
release=1
source=("https://git.eckner.net/Erich/${name}/snapshot/${name}-${version}.tar.xz")