Distribute realm.

(cherry picked from commit 0b50080cd1)
2013-06-15 04:35:44 -04:00 · 2013-06-15 04:35:44 -04:00 · f958c262cd
commit f958c262cd
parent 0318ad125d
1 changed files with 1 additions and 0 deletions
--- a/collects/meta/dist-specs.rkt
+++ b/collects/meta/dist-specs.rkt
@ -597,6 +597,7 @@ plt-extras :+=
  (- (package: "2htdp/")
     "uchat/") ; Matthias doesn't want this in now
  (package: "test-engine/")
+  (package: "realm")

 ;; -------------------- math
 dr-extras :+= (package: "math") (get-libs: math)