Distribute realm.
This commit is contained in:
parent
ed1ebce60a
commit
0b50080cd1
|
@ -605,6 +605,7 @@ plt-extras :+=
|
||||||
(- (package: "2htdp/")
|
(- (package: "2htdp/")
|
||||||
"uchat/") ; Matthias doesn't want this in now
|
"uchat/") ; Matthias doesn't want this in now
|
||||||
(package: "test-engine/")
|
(package: "test-engine/")
|
||||||
|
(package: "realm")
|
||||||
|
|
||||||
;; -------------------- math
|
;; -------------------- math
|
||||||
dr-extras :+= (package: "math") (get-libs: math)
|
dr-extras :+= (package: "math") (get-libs: math)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user