summaryrefslogtreecommitdiff
path: root/manualPorts/check-kernel/Pkgfile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-05-03 09:07:12 +0200
committerErich Eckner <git@eckner.net>2019-05-03 09:07:12 +0200
commit4068d4bf756340a01a935200aa446ba6e181f6fb (patch)
tree217118c12fb34f964ea12f2ed5542667ed42bc2a /manualPorts/check-kernel/Pkgfile
parentd4286cdaebcd284a3f200f7246ab3e767e62bc3a (diff)
downloadcrux-ports-4068d4bf756340a01a935200aa446ba6e181f6fb.tar.xz
check-kernel: 0.4 -> 0.5
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 a6a9717..72def46 100644
--- a/manualPorts/check-kernel/Pkgfile
+++ b/manualPorts/check-kernel/Pkgfile
@@ -4,7 +4,7 @@
# Depends on:
name=check-kernel
-version=0.4
+version=0.5
release=1
source=("https://git.eckner.net/Erich/${name}/snapshot/${name}-${version}.tar.xz")