summaryrefslogtreecommitdiff
path: root/manualPorts/check-kernel/Pkgfile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-05-17 06:02:21 +0200
committerErich Eckner <git@eckner.net>2019-05-17 06:02:21 +0200
commited412589b514f7bcca66f7a9b521d09bbc6a1853 (patch)
treef80f9865faf5bd9e54974241a264b39418045b08 /manualPorts/check-kernel/Pkgfile
parent4f7c4de56f05339f98e0d8acf97b66b7ec11a5ab (diff)
downloadcrux-ports-ed412589b514f7bcca66f7a9b521d09bbc6a1853.tar.xz
check-kernel: 0.5 -> 0.5.1
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 72def46..be1d724 100644
--- a/manualPorts/check-kernel/Pkgfile
+++ b/manualPorts/check-kernel/Pkgfile
@@ -4,7 +4,7 @@
# Depends on:
name=check-kernel
-version=0.5
+version=0.5.1
release=1
source=("https://git.eckner.net/Erich/${name}/snapshot/${name}-${version}.tar.xz")