diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index c093cea1b0..884c605f5e 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -608,6 +608,9 @@ plt-extras :+= (package: "embedded-gui/") ;; -------------------- eopl plt-extras :+= (package: "eopl/") +;; -------------------- picturing-programs +plt-extras :+= (package: "picturing-programs/") + ;; -------------------- algol60 plt-extras :+= (package: "algol60/")