commit ecfddf97eb3783916f4355dec98400e0811d3571
author Stephan Pleines <pleines.stephan@gmail.com> Thu Dec 14 19:14:40 2023 -0800
committer Stephan Pleines <pleines.stephan@gmail.com> Thu Dec 14 19:14:40 2023 -0800
tree 1ebefb0804f19984f7a73be53caa9d6a3870d07a
parent 69a52cb0a3fcf2e5bb9ff4630275f2f9b7b38b11

Upgrade pandoc package to patch libpcre3 sandbox leak

libpcre3 is now in the files list and I can build on Ubuntu 23
without a local install of libpcre3.

Github issue #33

Change-Id: I64d021c9fd029421824781a97ad0819359b3837d
Signed-off-by: Stephan Pleines <pleines.stephan@gmail.com>

WORKSPACE

diff --git a/WORKSPACE b/WORKSPACE
index 67d3e65..170338c 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -589,8 +589,8 @@
 http_archive(
     name = "pandoc",
     build_file = "@//debian:pandoc.BUILD",
-    sha256 = "9f7a7adb3974a1f14715054c349ff3edc2909e920dbe3438fca437a83845f3c4",
-    url = "https://software.frc971.org/Build-Dependencies/pandoc.tar.gz",
+    sha256 = "3c98503f29f2a7f771647b24a4b591bbe5539119b6b5a006ff09be7bec47bc0e",
+    url = "https://software.frc971.org/Build-Dependencies/pandoc-2023.12.14.tar.gz",
 )
 
 http_archive(