From 2860153c32948d2df9f528c425b27d3eaf3eb885 Mon Sep 17 00:00:00 2001 From: "github-actions[bot]" <41898282+github-actions[bot]@users.noreply.github.com> Date: Mon, 9 Dec 2024 18:57:34 +0000 Subject: [PATCH] basil: 0.1.2-alpha-unstable-2024-12-06 -> 0.1.2-alpha-unstable-2024-12-09 Diff: https://github.com/UQ-PAC/bil-to-boogie-translator/compare/8c49e69d9d1538783b90ca3b37025eaecbe96f20...4cb64c03b57408fe90a52d871bf6235cd00f79b5 --- basil/basil.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/basil/basil.nix b/basil/basil.nix index 4088e82..e7c3270 100644 --- 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 ] ;