diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 1a44f90283..673f1af398 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -554,6 +554,7 @@ plt-extras :+= (package: "slatex") ;; -------------------- planet mz-extras :+= (package: "planet") +mz-extras :+= (package: "planet2") ;; -------------------- mrlib mr-extras :+= (- (+ (package: "mrlib/")