New version: MicroMamba v0.1.13 (#84275)

UUID: 0b3b1443-0f03-428d-bdfb-f27f9c1191ea Repo: https://github.com/cjdoris/MicroMamba.jl.git Tree: 6f0e43750a94574c18933e9456b18d4d94a4a671 Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701
JuliaRegistries · May 26, 2023 · 85ea455 · 85ea455
1 parent f7bc893
commit 85ea455
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/M/MicroMamba/Compat.toml b/M/MicroMamba/Compat.toml
@@ -5,9 +5,12 @@ julia = "1.3.0-1"
 ["0.1.11"]
 micromamba_jll = "0.25.1-0.25"
 
-["0.1.12-0"]
+["0.1.12"]
 micromamba_jll = ["0.26", "1"]
 
+["0.1.13-0"]
+micromamba_jll = ["0.26", "1-1.4.2"]
+
 ["0.1.2-0"]
 Scratch = "1.1.0-1"
 

diff --git a/M/MicroMamba/Versions.toml b/M/MicroMamba/Versions.toml
@@ -37,3 +37,6 @@ git-tree-sha1 = "40495fd9b19afb0475fd27c145d00979c9fc5498"
 
 ["0.1.12"]
 git-tree-sha1 = "a6a4771aba1dc8942bc0f44ff9f8ee0f893ef888"
+
+["0.1.13"]
+git-tree-sha1 = "6f0e43750a94574c18933e9456b18d4d94a4a671"