summaryrefslogtreecommitdiff
path: root/manualPorts/check-kernel/Pkgfile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-05-05 21:39:26 +0200
committerErich Eckner <git@eckner.net>2020-05-05 21:39:26 +0200
commitcfc272a0474b805a99072e2c7d2b7bd72e01ba82 (patch)
treedebff2d2bd3a145e77f25959840532afe6e71157 /manualPorts/check-kernel/Pkgfile
parent80664ce1fdcc325e67da8a297732b064057c5f3b (diff)
downloadcrux-ports-cfc272a0474b805a99072e2c7d2b7bd72e01ba82.tar.xz
check-kernel: 0.5.7 -> 0.5.8
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 cab36c7..7b4bfe2 100644
--- a/manualPorts/check-kernel/Pkgfile
+++ b/manualPorts/check-kernel/Pkgfile
@@ -4,7 +4,7 @@
# Depends on:
name=check-kernel
-version=0.5.7
+version=0.5.8
release=1
source=("https://git.eckner.net/Erich/${name}/snapshot/${name}-${version}.tar.xz")