summaryrefslogtreecommitdiff
path: root/manualPorts/check-kernel/Pkgfile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-05-06 14:00:07 +0200
committerErich Eckner <git@eckner.net>2020-05-06 14:00:07 +0200
commitaca9c7ab2b62f85c258cbcaeef810d325ed133ce (patch)
tree690739caf66da807193468bf6fd3308803f2ebc4 /manualPorts/check-kernel/Pkgfile
parent589f455d6e9df72ec8f0aa069551367f6e271aa8 (diff)
downloadcrux-ports-aca9c7ab2b62f85c258cbcaeef810d325ed133ce.tar.xz
check-kernel: 0.5.8 -> 0.5.9
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 7b4bfe2..9186682 100644
--- a/manualPorts/check-kernel/Pkgfile
+++ b/manualPorts/check-kernel/Pkgfile
@@ -4,7 +4,7 @@
# Depends on:
name=check-kernel
-version=0.5.8
+version=0.5.9
release=1
source=("https://git.eckner.net/Erich/${name}/snapshot/${name}-${version}.tar.xz")