basil: 0.1.2-alpha-unstable-2024-10-30 -> 0.1.2-alpha-unstable-2024-1…

…1-13 Diff: UQ-PAC/BASIL@7849e72...4586ce2
katrinafyi · Nov 13, 2024 · 4d208e8 · 4d208e8
1 parent 4063ee4
commit 4d208e8
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/basil/basil.nix b/basil/basil.nix
@@ -10,15 +10,15 @@
 
 mkSbtDerivation {
   pname = "basil";
-  version = "0.1.2-alpha-unstable-2024-10-30";
+  version = "0.1.2-alpha-unstable-2024-11-13";
 
   nativeBuildInputs = [ jdk makeBinaryWrapper ];
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "bil-to-boogie-translator";
-    rev = "7849e7220d2863b5ecdf100f9c29255aa89a6ecc";
-    sha256 = "sha256-gAeoWKLG2xLIK6T0dwQA73YE6LqTO3EoDvbHUT73uSU=";
+    rev = "4586ce26329779734ba8312be164e5178f1af168";
+    sha256 = "sha256-M0R5HK2FwnFKAch3lBQQBHE5Um1602fClSjgxwx1lIE=";
   };
 
   depsSha256 = "sha256-++gg+SKskDyaqHowNG2RPS7evuCzPYvvXMC4Rkp7b6U=";