summaryrefslogtreecommitdiff
path: root/manualPorts/check-kernel/Pkgfile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-08-08 07:37:29 +0200
committerErich Eckner <git@eckner.net>2018-08-08 07:37:29 +0200
commit5c83a4345ec12ffeca3b42dabb78eedc407c433f (patch)
tree19fad95bd67c210e5b456be95ef5ce1910247f50 /manualPorts/check-kernel/Pkgfile
parentb9db0be8ddd5615593cbe0f14f90ade8be4d4bb5 (diff)
downloadcrux-ports-5c83a4345ec12ffeca3b42dabb78eedc407c433f.tar.xz
check-kernel: 0.3.3 -> 0.3.4
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 dee0a8b..4fecadc 100644
--- a/manualPorts/check-kernel/Pkgfile
+++ b/manualPorts/check-kernel/Pkgfile
@@ -4,7 +4,7 @@
# Depends on:
name=check-kernel
-version=0.3.3
+version=0.3.4
release=1
source=("https://git.eckner.net/Erich/${name}/snapshot/${name}-${version}.tar.xz")