summaryrefslogtreecommitdiff
path: root/manualPorts/check-kernel/Pkgfile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-12-21 18:17:49 +0100
committerErich Eckner <git@eckner.net>2019-12-21 18:17:49 +0100
commitf8869d277d673f3be8d30bf04f243e1078b4921f (patch)
tree3c682f6a37c3a3564303730c896098648f88d4fa /manualPorts/check-kernel/Pkgfile
parentee726bc8ac1013e4d33cc7f3d27049fe5c1da024 (diff)
downloadcrux-ports-f8869d277d673f3be8d30bf04f243e1078b4921f.tar.xz
check-kernel: 0.5.6 -> 0.5.7
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 2e0ac42..cab36c7 100644
--- a/manualPorts/check-kernel/Pkgfile
+++ b/manualPorts/check-kernel/Pkgfile
@@ -4,7 +4,7 @@
# Depends on:
name=check-kernel
-version=0.5.6
+version=0.5.7
release=1
source=("https://git.eckner.net/Erich/${name}/snapshot/${name}-${version}.tar.xz")