update pb submodule rev

input-output-hk · Apr 9, 2021 · a227ce5 · a227ce5
1 parent 24f34e1
commit a227ce5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nix/overlay.nix b/nix/overlay.nix
@@ -20,7 +20,7 @@ inputs: final: prev: {
   # ourselves instead.
   mantis-extvm-pb = builtins.fetchGit {
     url = "https://github.com/input-output-hk/mantis-extvm-pb";
-    rev = "6b3039be92882df6ef6c15887c8d0b5f10c86d6f";
+    rev = "53eb31f3c59f7200994915b834e626bd292df7ed";
   };
 
   mantisPkgs = final.callPackage ./pkgs/mantis { src = ../.; };