basil: unstable-2023-11-01 -> unstable-2023-11-06

Diff: UQ-PAC/BASIL@5f02a10...e63dcc1
katrinafyi · Nov 6, 2023 · 3034926 · 3034926
1 parent d32ca61
commit 3034926
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 rec {
   pname = "basil";
-  version = "unstable-2023-11-01";
+  version = "unstable-2023-11-06";
 
   nativeBuildInputs = [ jdk makeBinaryWrapper ];
 
   src = fetchFromGitHub {
     owner = "UQ-PAC";
     repo = "bil-to-boogie-translator";
-    rev = "5f02a105c25e3ee7cecb935c310d572ff7d8d6d1";
-    sha256 = "sha256-WiGwGIIZ1M01fNmccKNGG2W2ZJbTzyLv/8MJa9tKyvw=";
+    rev = "e63dcc15ce4abf4c12d291790e59bf2364bc122b";
+    sha256 = "sha256-zpqjgdTTWN6U4YKnKwSQFsS2/00j7zxG4G5tRakeAaQ=";
   };
 
   depsSha256 = "sha256-AoHPd8UI0Iprin1Sq7rL0fe+42x8+fNCRYA1bW+5ySQ=";