diff --git a/P/Posets/Versions.toml b/P/Posets/Versions.toml index 783ff9ed86ea199..a41d5a7bc7cb13e 100644 --- a/P/Posets/Versions.toml +++ b/P/Posets/Versions.toml @@ -24,3 +24,6 @@ git-tree-sha1 = "37f9a67af33f28f1fb39b237244715c983285952" ["0.3.4"] git-tree-sha1 = "d9ceed0989a373810eedadd99566b5279e95ec81" + +["0.3.5"] +git-tree-sha1 = "8cb80612d67c3e77667e5e3e104c8a8b85f41e58"