summaryrefslogtreecommitdiff
path: root/manualPorts
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-01-05 17:25:01 +0100
committerErich Eckner <git@eckner.net>2019-01-05 17:25:01 +0100
commitd2e8a919ebaab0f2190f7087a9a89a165bedc41c (patch)
tree557d88b8c22b8856884be33d510a64cececba8fc /manualPorts
parent727670f4196a37ef93af47aec6340345beb53a0d (diff)
downloadcrux-ports-d2e8a919ebaab0f2190f7087a9a89a165bedc41c.tar.xz
check-kernel: 0.3.4 -> 0.4
Diffstat (limited to 'manualPorts')
-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 aa99d02..a966d0a 100644
--- a/manualPorts/check-kernel/.md5sum
+++ b/manualPorts/check-kernel/.md5sum
@@ -1 +1 @@
-ecef731ce3b8e6934324a5dcf4f54a7c check-kernel-0.3.4.tar.xz
+c668aa5ed443bd24dbe027a97aa19434 check-kernel-0.4.tar.xz
diff --git a/manualPorts/check-kernel/.signature b/manualPorts/check-kernel/.signature
index eb261f3..ab4b373 100644
--- a/manualPorts/check-kernel/.signature
+++ b/manualPorts/check-kernel/.signature
@@ -1,5 +1,5 @@
untrusted comment: verify with /etc/ports/deepthought.pub
-RWQxCptPusLGGvjkPq5hJVkTYWmeTMxlct34rtT2V7EnoNVigoV5CSVJu65bKvJdBQIdwYqdVTv9l/hJ9CMYTNik6gNgtEgsHAM=
-SHA256 (Pkgfile) = d3a824e9582fb7278666bed60c0ef53ec53b234b31ba67db9a4d086201542975
+RWQxCptPusLGGk/wGrIJYICCyAEVGVA9XfK2po3jsMhJUPqRpJFZV+BcNUepS+EGeqFDMhFeiBzWX4aPirr2kXIw2dRg7VSk0g0=
+SHA256 (Pkgfile) = f61422d6d32eca5b4d87cea900463423b9ddf9b93a6059ec7d7fe83e9da0fb17
SHA256 (.footprint) = dcbbfd418f77c604b110b47aaf724f848f940f3b7aabfc4192bfc9094714bf17
-SHA256 (check-kernel-0.3.4.tar.xz) = 5b95837abeedee6b36b1cadd91e99d500c582c87fd13a7bc14064b9108496e09
+SHA256 (check-kernel-0.4.tar.xz) = 4170b360ea7775e0b237e99c2f0363a7f3c4e46c6656a0468ccaf94f98772e98
diff --git a/manualPorts/check-kernel/Pkgfile b/manualPorts/check-kernel/Pkgfile
index 4fecadc..a6a9717 100644
--- a/manualPorts/check-kernel/Pkgfile
+++ b/manualPorts/check-kernel/Pkgfile
@@ -4,7 +4,7 @@
# Depends on:
name=check-kernel
-version=0.3.4
+version=0.4
release=1
source=("https://git.eckner.net/Erich/${name}/snapshot/${name}-${version}.tar.xz")