summaryrefslogtreecommitdiff
path: root/manualPorts/check-kernel/Pkgfile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-07-31 19:23:18 +0200
committerErich Eckner <git@eckner.net>2018-07-31 19:23:18 +0200
commit1b1e5aad6d16b8d39448730228225868be8a92c2 (patch)
treece91c711ccd537a03bf9ee2032ef8c5b44ef3475 /manualPorts/check-kernel/Pkgfile
parent6fcc27dc9d828fc9b643779362167cdc5c6eb2a3 (diff)
downloadcrux-ports-1b1e5aad6d16b8d39448730228225868be8a92c2.tar.xz
check-kernel: 0.3.2 -> 0.3.3
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 e7f9f2f..dee0a8b 100644
--- a/manualPorts/check-kernel/Pkgfile
+++ b/manualPorts/check-kernel/Pkgfile
@@ -4,7 +4,7 @@
# Depends on:
name=check-kernel
-version=0.3.2
+version=0.3.3
release=1
source=("https://git.eckner.net/Erich/${name}/snapshot/${name}-${version}.tar.xz")