plutusStaging: Bump plutus to 256e0763721c6f9d749507bd6402489105e26dee

input-output-hk · Jan 17, 2022 · 3f1187d · 3f1187d
1 parent 4f61dc0
commit 3f1187d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/revisions/plutusStaging/plutus.cue b/revisions/plutusStaging/plutus.cue
@@ -1,3 +1,3 @@
 package plutusStaging
 
-plutus: "def7f30127ee5e6af570230548d4a37e03a1256b"
+plutus: "256e0763721c6f9d749507bd6402489105e26dee"