New version: Nemo v0.48.3 (#124736)

UUID: 2edaba10-b0f1-5616-af89-8c11ac63239a Repo: https://github.com/Nemocas/Nemo.jl.git Tree: d2e6ba8a66fa1bd3140c3e6ae7190cac45cb024e Registrator tree SHA: 17aec322677d9b81cdd6b9b9236b09a3f1374c6a
JuliaRegistries · Feb 10, 2025 · ebf6675 · ebf6675
1 parent 1624ca1
commit ebf6675
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/N/Nemo/Versions.toml b/N/Nemo/Versions.toml
@@ -438,3 +438,6 @@ git-tree-sha1 = "df47469d5ed3783d545a84ecc503b4c8519cb944"
 
 ["0.48.2"]
 git-tree-sha1 = "e87c087cfb21954cc1d21706452ceec179be2287"
+
+["0.48.3"]
+git-tree-sha1 = "d2e6ba8a66fa1bd3140c3e6ae7190cac45cb024e"