From baaf703eac769a729145fbe0004f26d9726bdd7b Mon Sep 17 00:00:00 2001 From: JuliaRegistrator Date: Sun, 8 Oct 2023 22:01:58 +0000 Subject: [PATCH] New version: Nemo v0.37.1 UUID: 2edaba10-b0f1-5616-af89-8c11ac63239a Repo: https://github.com/Nemocas/Nemo.jl.git Tree: e4080ae05cb339c0b0f4d7486d93a452b24c7317 Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701 --- N/Nemo/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/N/Nemo/Versions.toml b/N/Nemo/Versions.toml index 793c59803e4bb34..124965ab4992e5d 100644 --- a/N/Nemo/Versions.toml +++ b/N/Nemo/Versions.toml @@ -300,3 +300,6 @@ git-tree-sha1 = "c5703539924bc2088ea1f696637cffc06da7d6e5" ["0.37.0"] git-tree-sha1 = "29df6010ccf9473b94b119987f27261d9aff6978" + +["0.37.1"] +git-tree-sha1 = "e4080ae05cb339c0b0f4d7486d93a452b24c7317"