From 34f05a51909a474a0149341ae5dfd726e9ce47b4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 12 Nov 2012 07:34:34 -0700 Subject: [PATCH] add `planet2' to distribution --- collects/meta/dist-specs.rkt | 1 + 1 file changed, 1 insertion(+) 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/")