From f53ff492769f8c2f19f4016d380aa8be204cb59a Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Mon, 23 Apr 2018 16:56:32 +0200
Subject: [PATCH] Update stale port hash files

Detected with the new tool/ports/check_hash utility.
---
 repos/dde_ipxe/ports/dde_ipxe.hash | 2 +-
 repos/ports/ports/gnupg.hash       | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/dde_ipxe/ports/dde_ipxe.hash b/repos/dde_ipxe/ports/dde_ipxe.hash
index ce94ac36d..0079bdf2e 100644
--- a/repos/dde_ipxe/ports/dde_ipxe.hash
+++ b/repos/dde_ipxe/ports/dde_ipxe.hash
@@ -1 +1 @@
-f51dbfc4d47bd95554d60f162f0cde4695d2251c
+9e4ef3246fc967aaa1c00efe6979c628a580b2e8
diff --git a/repos/ports/ports/gnupg.hash b/repos/ports/ports/gnupg.hash
index b7bffc2b8..427c7fad4 100644
--- a/repos/ports/ports/gnupg.hash
+++ b/repos/ports/ports/gnupg.hash
@@ -1 +1 @@
-8ce83fbaac6f49a07708219ec64a9a0ae12606c4
+de58de758b6ff17d573b5f17f5c8264693c1e6ff