From 95532827a5b3dc6714772129dc879836eedf5178 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sun, 28 Jul 2013 14:25:57 -0600 Subject: [PATCH] add "distributed-places" package Joins the "-lib" and "-doc" packages. --- pkgs/distributed-places-pkgs/distributed-places/info.rkt | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 pkgs/distributed-places-pkgs/distributed-places/info.rkt diff --git a/pkgs/distributed-places-pkgs/distributed-places/info.rkt b/pkgs/distributed-places-pkgs/distributed-places/info.rkt new file mode 100644 index 0000000000..fb07b73bbe --- /dev/null +++ b/pkgs/distributed-places-pkgs/distributed-places/info.rkt @@ -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"))