From e71fafe15a1f9f90f24c94e57ecdddc46e55a3d8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Facundo=20Dom=C3=ADnguez?= Date: Mon, 9 Jul 2018 17:58:03 +0000 Subject: [PATCH] Update clodl so it excludes dependencies of excluded libraries. --- WORKSPACE | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/WORKSPACE b/WORKSPACE index 9093131d..9c057300 100644 --- a/WORKSPACE +++ b/WORKSPACE @@ -8,8 +8,8 @@ http_archive( http_archive( name = "io_tweag_clodl", - strip_prefix = "clodl-6cc7349a792ea39f2059ab3f0c4ed53839dbffba", - urls = ["https://github.com/tweag/clodl/archive/6cc7349a792ea39f2059ab3f0c4ed53839dbffba.tar.gz"] + strip_prefix = "clodl-52cf5b82b431de8ea6cc7e3d9cc920184d8b7a48", + urls = ["https://github.com/tweag/clodl/archive/52cf5b82b431de8ea6cc7e3d9cc920184d8b7a48.tar.gz"] ) http_archive(