diff --git a/S/SigmaProofs/Versions.toml b/S/SigmaProofs/Versions.toml index 7c1e0976188043e..d9fe33690a0b035 100644 --- a/S/SigmaProofs/Versions.toml +++ b/S/SigmaProofs/Versions.toml @@ -1,2 +1,5 @@ ["0.1.0"] git-tree-sha1 = "bc56bc349c01115ddd95139886a4fe540c75743a" + +["0.1.1"] +git-tree-sha1 = "d13645dd57448619c8baff78a1f297023dbfce83"