add recent lib+doc packages to "main-distribution"
This commit is contained in:
parent
d5f6b72e69
commit
f94749c8a9
|
@ -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"
|
||||
|
|
Loading…
Reference in New Issue
Block a user