basil: 0.1.2-alpha-unstable-2025-02-17 -> 0.1.2-alpha-unstable-2025-0…

…2-19 Diff: UQ-PAC/BASIL@2d006eb...880b0e4
katrinafyi · Feb 20, 2025 · 50a9dd5 · 50a9dd5
1 parent e30115d
commit 50a9dd5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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 = [ ] ;