From 6e27c1fc395dfccd4ae4f54434a254cac6a2b8ee Mon Sep 17 00:00:00 2001 From: "William J. Bowman" Date: Thu, 24 Sep 2015 16:58:36 -0400 Subject: [PATCH] Tweaks dependencies --- info.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/info.rkt b/info.rkt index 3a32978..1e018fd 100644 --- a/info.rkt +++ b/info.rkt @@ -1,6 +1,6 @@ #lang info (define collection "cur") -(define deps '("base" "rackunit-lib" ("redex-lib" #:version "1.6"))) +(define deps '("base" "rackunit-lib" ("redex-lib" #:version "1.8" #;redex-1-paul-public))) (define build-deps '("scribble-lib" "racket-doc" "sandbox-lib")) (define scribblings '(("scribblings/cur.scrbl" (multi-page)))) (define pkg-desc "Dependent types with parenthesis and meta-programming.")