From 60e567af3bcbff9887093eae204668f83889d518 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Thu, 6 Oct 2016 17:35:23 +0200 Subject: [PATCH] Depend on the #dev versions of the phc-adt and phc-toolkit, for faster build cycles --- info.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/info.rkt b/info.rkt index 1ec3f81..f1c93ac 100644 --- a/info.rkt +++ b/info.rkt @@ -2,8 +2,8 @@ (define collection "phc-graph") (define deps '("base" "rackunit-lib" - "phc-toolkit" - "https://github.com/jsmaniac/phc-adt.git" + "https://github.com/jsmaniac/phc-toolkit.git#dev" + "https://github.com/jsmaniac/phc-adt.git#dev" "type-expander" "hyper-literate" "scribble-enhanced"