fix dist specs
This commit is contained in:
parent
42794ee337
commit
cdf38a259b
|
@ -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/")
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user