From 49b3287758b77a3a8c985d01322bb8a2769caa4a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Mon, 3 Oct 2016 01:03:56 +0200
Subject: [PATCH] Use full URL for th phc-adt dependency, as the catalogs did
 not get updated yet.

---
 info.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/info.rkt b/info.rkt
index f4ad07a..d2d4da1 100644
--- a/info.rkt
+++ b/info.rkt
@@ -3,7 +3,7 @@
 (define deps '("base"
                "rackunit-lib"
                "phc-toolkit"
-               "phc-adt"
+               "https://github.com/jsmaniac/phc-adt.git"
                "type-expander"
                "hyper-literate"
                "scribble-enhanced"