diff --git a/T/TypeDomainNaturalNumbers/Versions.toml b/T/TypeDomainNaturalNumbers/Versions.toml index 6dad5456dcb6016..003adad6563da8c 100644 --- a/T/TypeDomainNaturalNumbers/Versions.toml +++ b/T/TypeDomainNaturalNumbers/Versions.toml @@ -57,3 +57,6 @@ git-tree-sha1 = "4edb4861435ce8ddb55c6b92ffe2e1a8a730f682" ["4.0.1"] git-tree-sha1 = "c5287e05ba4c34226f3cb136a4503ef7df51a3f9" + +["4.1.0"] +git-tree-sha1 = "b81c954a7a30b76573dd8f00842b6636aeb08702"