From 5daba5bf7317ac86a5e46e28cd2e9ec01aa9c412 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 15 Oct 2014 05:22:00 -0600 Subject: [PATCH] fix "redex-doc" dependencies (cherry picked from commit 0a9cf6dc34cd7c015822291da5a915f8b5b17364) --- pkgs/redex-pkgs/redex-doc/info.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-doc/info.rkt b/pkgs/redex-pkgs/redex-doc/info.rkt index 7f561d6c1c..dc92c2750d 100644 --- a/pkgs/redex-pkgs/redex-doc/info.rkt +++ b/pkgs/redex-pkgs/redex-doc/info.rkt @@ -14,7 +14,9 @@ "htdp-lib" "pict-lib" "redex-gui-lib" - "redex-benchmark")) + "redex-benchmark" + "math-lib" + "rackunit-lib")) (define pkg-desc "documentation part of \"redex\"")