add "distributed-places" package

Joins the "-lib" and "-doc" packages.
This commit is contained in:
Matthew Flatt 2013-07-28 14:25:57 -06:00
parent ca309a803f
commit 95532827a5

View File

@ -0,0 +1,8 @@
#lang info
(define collection 'multi)
(define deps '("distributed-places-lib"
"distributed-places-doc"))
(define implies '("distributed-places-lib"
"distributed-places-doc"))