summaryrefslogtreecommitdiff
path: root/manualPorts/check-kernel
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
parent0107dc2ee97b9b67bbfc09c99e21336c982a0356 (diff)
downloadcrux-ports-d2b58eb4ad5a4d963b33815669634b479030695d.tar.xz
check-kernel: 0.5.11 -> 0.5.12
Diffstat (limited to 'manualPorts/check-kernel')
-rw-r--r--manualPorts/check-kernel/.md5sum2
-rw-r--r--manualPorts/check-kernel/.signature6
-rw-r--r--manualPorts/check-kernel/Pkgfile2
3 files changed, 5 insertions, 5 deletions
diff --git a/manualPorts/check-kernel/.md5sum b/manualPorts/check-kernel/.md5sum
index 6b0f01f..26ac63e 100644
--- a/manualPorts/check-kernel/.md5sum
+++ b/manualPorts/check-kernel/.md5sum
@@ -1 +1 @@
-f820da70c0fc81bf8be621bb8cefb286 check-kernel-0.5.11.tar.xz
+0b825df3f25fc21b9eecd7f287359d15 check-kernel-0.5.12.tar.xz
diff --git a/manualPorts/check-kernel/.signature b/manualPorts/check-kernel/.signature
index 784f8d5..5409109 100644
--- a/manualPorts/check-kernel/.signature
+++ b/manualPorts/check-kernel/.signature
@@ -1,5 +1,5 @@
untrusted comment: verify with /etc/ports/deepthought.pub
-RWQxCptPusLGGmKvDdsTbHHMBctIPgj3Z6rza06hQAfC1XftUQWbgQ3SiFcMB8/x14nVzQrOmWBYG85e3xIa78AaslNEnyD6FwE=
-SHA256 (Pkgfile) = d8b9b94a6dd197f341991a0d9285c64e48255b97b442bcb45af48a99107f0839
+RWQxCptPusLGGjpQIjoKoxAR927nWs/ihCmQXeMfJ95QRUDSVFl5WKQFkaWMwOWqVCC/tyS/ddcqSy6gj+YvDw0uxLveQHVvzgs=
+SHA256 (Pkgfile) = 7828ef6ef2b0d82c67cc70e780750864290c97eb456a1b0adf04023b400ee920
SHA256 (.footprint) = 38bc7f508443b1f7f5b2da50900667f581326a83b7d26cceaecfa3a82661c6f5
-SHA256 (check-kernel-0.5.11.tar.xz) = 106995f8322bae937faaba4601e782206e4f531859b7d92aad4cafcbce882157
+SHA256 (check-kernel-0.5.12.tar.xz) = ce5252560cc8b242173510338d2a03a376f0838b4e213e21c6ee101d0d2a34f1
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")