From 54e3105defbb22932ff97750521cbb8d3f1c0a3f Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Fri, 29 Sep 2023 19:04:20 +0000
Subject: [PATCH] basil: unstable-2023-09-28 -> unstable-2023-09-29

Diff: https://github.com/UQ-PAC/bil-to-boogie-translator/compare/aadf23c560588d2e325bb142f782c024d3b9f068...87983bd2493d1256a65cbce3f3b6be750c0b2c65
---
 basil.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/basil.nix b/basil.nix
index 7c211e1..60b12fc 100644
--- a/basil.nix
+++ b/basil.nix
@@ -11,15 +11,15 @@
 
 mkSbtDerivation rec {
   pname = "basil";
-  version = "unstable-2023-09-28";
+  version = "unstable-2023-09-29";
 
   nativeBuildInputs = [ jdk makeBinaryWrapper ];
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "bil-to-boogie-translator";
-    rev = "aadf23c560588d2e325bb142f782c024d3b9f068";
-    sha256 = "sha256-3ZKtOIS6bpPsqKWywwJAbytDR0ZFxUHYJnuuXe2hgOI=";
+    rev = "87983bd2493d1256a65cbce3f3b6be750c0b2c65";
+    sha256 = "sha256-Fdm18fKzlL+i3gQ78HAamYU94/wREP0UGhZc+Z2gZW4=";
   };
 
   depsSha256 = "sha256-ed6eE4n2YWcCTYmFKy4mCOhJHprAj2tPfVwRw1zdklQ=";