From 760816cfe3c7c72343e351389baf6d3509ee5189 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..343ab30ce 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 = "56f8b0b287ae5a7aaa19d7e07b8775611f249e51c22bc0aeda387b305d16ff99", + strip_prefix = "ProGraML-8318ab9956b19ce6fe0dda8d0e76a3d4bed08dc2", + urls = ["https://github.com/ChrisCummins/ProGraML/archive/8318ab9956b19ce6fe0dda8d0e76a3d4bed08dc2.tar.gz"], ) load("@programl//tools:bzl/deps.bzl", "programl_deps")