From 155ead4812867df8a511075db745cbd1276a7561 Mon Sep 17 00:00:00 2001 From: JuliaHubRegistrator Date: Sun, 20 Oct 2024 12:59:28 +0000 Subject: [PATCH] New version: TypeDomainNaturalNumbers v4.2.0 UUID: 06919feb-fec6-4e74-a260-ddb603bc7a1b Repo: https://gitlab.com/nsajko/TypeDomainNaturalNumbers.jl.git Tree: 30223053985ce21e6f641740bfa93445c90d4afb Registrator tree SHA: 191228b6dd8b9d0e2965ae3e705fe54c51dcfee8 --- T/TypeDomainNaturalNumbers/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/T/TypeDomainNaturalNumbers/Versions.toml b/T/TypeDomainNaturalNumbers/Versions.toml index 003adad6563da8c..1b87dfcae836983 100644 --- a/T/TypeDomainNaturalNumbers/Versions.toml +++ b/T/TypeDomainNaturalNumbers/Versions.toml @@ -60,3 +60,6 @@ git-tree-sha1 = "c5287e05ba4c34226f3cb136a4503ef7df51a3f9" ["4.1.0"] git-tree-sha1 = "b81c954a7a30b76573dd8f00842b6636aeb08702" + +["4.2.0"] +git-tree-sha1 = "30223053985ce21e6f641740bfa93445c90d4afb"