summaryrefslogtreecommitdiff
path: root/manualPorts/check-kernel/Pkgfile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-03-11 20:53:12 +0100
committerErich Eckner <git@eckner.net>2022-03-11 20:53:12 +0100
commitd2b58eb4ad5a4d963b33815669634b479030695d (patch)
tree77342a40e56076b066863e444280b2a7c14e847d /manualPorts/check-kernel/Pkgfile
parent0107dc2ee97b9b67bbfc09c99e21336c982a0356 (diff)
downloadcrux-ports-d2b58eb4ad5a4d963b33815669634b479030695d.tar.xz
check-kernel: 0.5.11 -> 0.5.12
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 035e2b2..7b492b9 100644
--- a/manualPorts/check-kernel/Pkgfile
+++ b/manualPorts/check-kernel/Pkgfile
@@ -4,7 +4,7 @@
# Depends on:
name=check-kernel
-version=0.5.11
+version=0.5.12
release=1
source=("https://git.eckner.net/Erich/${name}/snapshot/${name}-${version}.tar.xz")