From f94749c8a9d28e77b1911106503afbc8dd830b79 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 15 Oct 2013 18:27:38 -0600 Subject: [PATCH] add recent lib+doc packages to "main-distribution" --- pkgs/main-distribution/info.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/pkgs/main-distribution/info.rkt b/pkgs/main-distribution/info.rkt index 71490ef966..447bf71245 100644 --- a/pkgs/main-distribution/info.rkt +++ b/pkgs/main-distribution/info.rkt @@ -6,7 +6,8 @@ "at-exp-lib" "compatibility" "contract-profile" - "data-lib" + "compiler" + "data" "datalog" "db" "deinprogramm" @@ -33,11 +34,13 @@ "mysterx" "mzcom" "mzscheme" + "net" "parser-tools" "pconvert-lib" "pict" "picturing-programs" "plai" + "planet" "plot" "preprocessor" "profile"