basil: 0.1.2-alpha-unstable-2024-12-06 -> 0.1.2-alpha-unstable-2024-1…

…2-09 Diff: UQ-PAC/BASIL@8c49e69...4cb64c0
katrinafyi · Dec 9, 2024 · 2860153 · 2860153
1 parent b09a24b
commit 2860153
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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-06";
+  version = "0.1.2-alpha-unstable-2024-12-09";
 
   nativeBuildInputs = [ makeBinaryWrapper ];
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "bil-to-boogie-translator";
-    rev = "8c49e69d9d1538783b90ca3b37025eaecbe96f20";
-    sha256 = "sha256-+V6ZOsLrnOiriAZDRtBWvFbDNCJR8lwRyCpeafyrfXU=";
+    rev = "4cb64c03b57408fe90a52d871bf6235cd00f79b5";
+    sha256 = "sha256-L+8wI3CgcGHD9sMmhEJKgiqe5mqRpyC27gPDnwW825E=";
   };
 
   patches = [ ./0001-basil-protoc-version.patch ] ;