From d2f93d9ae630a13349f23247bcbac6fd76a50b02 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Fri, 20 Jan 2017 15:24:20 +0100
Subject: [PATCH] Use master branch of phc-toolkit, phc-adt and type-expander
---
info.rkt | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/info.rkt b/info.rkt
index 2c035c4..35054ba 100644
--- a/info.rkt
+++ b/info.rkt
@@ -2,9 +2,9 @@
(define collection "phc-graph")
(define deps '("base"
"rackunit-lib"
- "https://github.com/jsmaniac/phc-toolkit.git#dev"
- "https://github.com/jsmaniac/phc-adt.git?path=phc-adt#dev"
- "https://github.com/jsmaniac/type-expander.git#Let-Λ"
+ "phc-toolkit"
+ "phc-adt"
+ "type-expander"
"hyper-literate"
"scribble-enhanced"
"typed-racket-lib"