From 4f8efadbd115b18263207c173c5c534d9a0cb926 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Tue, 17 Dec 2024 18:57:42 +0000
Subject: [PATCH] basil: 0.1.2-alpha-unstable-2024-12-11 ->
 0.1.2-alpha-unstable-2024-12-17

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

diff --git a/basil/basil.nix b/basil/basil.nix
index d83a76a..30a7586 100644
--- a/basil/basil.nix
+++ b/basil/basil.nix
@@ -18,15 +18,15 @@ let
 in
 mkSbtDerivation' {
   pname = "basil";
-  version = "0.1.2-alpha-unstable-2024-12-11";
+  version = "0.1.2-alpha-unstable-2024-12-17";
 
   nativeBuildInputs = [ makeBinaryWrapper ];
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "bil-to-boogie-translator";
-    rev = "d2df5db0c0fe5d3980b49655a5c743b377697103";
-    sha256 = "sha256-LLZoeoVr27UTtnnWof9sDtgiclEni+Vp5R4uHst0eAE=";
+    rev = "340b8c99074e6cbafe290f40b6e6f2b29b4d3cf2";
+    sha256 = "sha256-StPguxtX/JLuuYVl1uRwENKim0MgXzbLllO8yZZ0HIk=";
   };
 
   patches = [ ./0001-basil-protoc-version.patch ] ;