diff --git a/info.rkt b/info.rkt index 0eb9974..7fc064f 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.10"))) +(define deps '("base" "rackunit-lib" ("redex-lib" #:version "1.11"))) (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.")