From 1d1f13ece7558d68655a529eb74f64e2f2a27802 Mon Sep 17 00:00:00 2001 From: Chris Cummins Date: Fri, 15 Jul 2022 17:06:04 -0700 Subject: [PATCH] Bump ProGraML to include the type graph patch. https://github.com/ChrisCummins/ProGraML/pull/199 --- WORKSPACE | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/WORKSPACE b/WORKSPACE index d3de01cc3..b77ec5ef1 100644 --- a/WORKSPACE +++ b/WORKSPACE @@ -334,9 +334,9 @@ boost_deps() http_archive( name = "programl", - sha256 = "dbe16a96963c31620bcd7fb60cad7cab76f67e413c70f11ea38347e389f9e1de", - strip_prefix = "ProGraML-2b18ea3f1b7ba5668c4f594c555ccb52d735d4bc", - urls = ["https://github.com/ChrisCummins/ProGraML/archive/2b18ea3f1b7ba5668c4f594c555ccb52d735d4bc.tar.gz"], + sha256 = "f979e23c0b7bd39a5a77a02ce242befb5cc836e133999ef86a2c3b1f9c3e695a", + strip_prefix = "ProGraML-cd7d2939d485d989a9b105723fed989bcaca1f94", + urls = ["https://github.com/ChrisCummins/ProGraML/archive/cd7d2939d485d989a9b105723fed989bcaca1f94.tar.gz"], ) load("@programl//tools:bzl/deps.bzl", "programl_deps")