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"))