From f5d3d48e4f79234ee5291fbad4de95ca0662fcea Mon Sep 17 00:00:00 2001
From: Jackson Brough <jacksontbrough@gmail.com>
Date: Thu, 10 Oct 2024 15:15:11 -0600
Subject: [PATCH] Add missing dependencies

---
 src/info.rkt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/info.rkt b/src/info.rkt
index 9375b7830..6bd889ce1 100644
--- a/src/info.rkt
+++ b/src/info.rkt
@@ -22,7 +22,10 @@
     "web-server-lib"
     ("egg-herbie" #:version "2.0")
     ("rival" #:version "1.7")
-    ("fpbench" #:version "2.0.3")))
+    ("fpbench" #:version "2.0.3")
+    "vdt-herbie"
+    "avx-herbie"
+    "fdlibm-herbie"))
 
 (define build-deps
   '("rackunit-lib"))