From 50a9dd562837f20fda0b3beacda4404a4cdecf76 Mon Sep 17 00:00:00 2001
From: rina <k@rina.fyi>
Date: Thu, 20 Feb 2025 13:32:11 +1000
Subject: [PATCH] basil: 0.1.2-alpha-unstable-2025-02-17 ->
 0.1.2-alpha-unstable-2025-02-19

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

diff --git a/basil/basil.nix b/basil/basil.nix
index 8fc5777..b848427 100644
--- a/basil/basil.nix
+++ b/basil/basil.nix
@@ -19,15 +19,15 @@ let
 in
 mkSbtDerivation' {
   pname = "basil";
-  version = "0.1.2-alpha-unstable-2025-02-17";
+  version = "0.1.2-alpha-unstable-2025-02-19";
 
   nativeBuildInputs = [ makeBinaryWrapper ];
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "bil-to-boogie-translator";
-    rev = "2d006ebadc761079bcecfd3ae0a683116db72e34";
-    sha256 = "sha256-yFylN1C6HK32tsokNr0UDhSNESOFOE+abYh3ZLBPEvU=";
+    rev = "880b0e4ab877253e2d59a6a472a78d8e71a01b1a";
+    sha256 = "sha256-CqjNS9mP+CeTKnrGIZJhaWemIB/QMq/grGrswWgHPtc=";
   };
 
   patches = [ ] ;