diff --git a/repos/base-hw/ports/muen.hash b/repos/base-hw/ports/muen.hash
index f229e17788..6de5ca9bb5 100644
--- a/repos/base-hw/ports/muen.hash
+++ b/repos/base-hw/ports/muen.hash
@@ -1 +1 @@
-9cce20cff047c8a0054844b46c66df6531ecefb3
+2ddaef27345d1e73733c02ad824b69069bf116ce
diff --git a/repos/base-hw/ports/muen.port b/repos/base-hw/ports/muen.port
index 91e8cdc2ab..e4af2f90ac 100644
--- a/repos/base-hw/ports/muen.port
+++ b/repos/base-hw/ports/muen.port
@@ -7,8 +7,6 @@ REV(muen) := 59171a3aabba95cd6d957a4b999e802e5622835b
 DIR(muen) := src/kernel/muen
 
 $(call check_tool,git)
-$(call check_tool,gnat)
-$(call check_tool,gprbuild)
 $(call check_tool,iasl)
 $(call check_tool,tidy)
 $(call check_tool,xsltproc)