From 2b7511d01f189a45faed627febc514f89a088324 Mon Sep 17 00:00:00 2001
From: Mann mit Hut <github+mmhat@with-h.at>
Date: Thu, 7 Nov 2024 20:39:40 +0100
Subject: [PATCH] Added binary Dhall files needed by the benchmarks

---
 dhall/dhall.cabal | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dhall/dhall.cabal b/dhall/dhall.cabal
index e9dc353f0..d12ad1382 100644
--- a/dhall/dhall.cabal
+++ b/dhall/dhall.cabal
@@ -26,6 +26,7 @@ Data-Files:
 Extra-Source-Files:
     CHANGELOG.md
     benchmark/**/*.dhall
+    benchmark/**/*.dhallb
     dhall-lang/Prelude/**/*.dhall
     dhall-lang/Prelude/Bool/and
     dhall-lang/Prelude/Bool/build