update deps

2016-07-28 12:26:47 -04:00 · 2016-07-28 12:26:47 -04:00 · ad37a45a69
commit ad37a45a69
parent 2ddf45f8de
1 changed files with 3 additions and 1 deletions
--- a/info.rkt
+++ b/info.rkt
@ -4,6 +4,8 @@

 (define deps
  '("base"
-    "sweet-exp"
+    "sweet-exp-lib"
+    "lens"
+    "rosette"
    ))