Merge pull request #236780 from ahirner/chore/update_micromamba

micromamba: 1.2.0 -> 1.4.4
This commit is contained in:
Pol Dellaiera 2023-06-16 17:46:13 +02:00 committed by GitHub
commit 8624c97df7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -14,7 +14,6 @@
, python3
, reproc
, spdlog
, termcolor
, tl-expected
}:
@ -36,13 +35,13 @@ let
in
stdenv.mkDerivation rec {
pname = "micromamba";
version = "1.2.0";
version = "1.4.4";
src = fetchFromGitHub {
owner = "mamba-org";
repo = "mamba";
rev = "micromamba-" + version;
sha256 = "sha256-KGlH5i/lI6c1Jj1ttAOrip8BKECaea5D202TJMcFDmM=";
hash = "sha256-Z6hED0fiXzEKpVm8tUBR9ynqWCvHGXkXHzAXbbWlq9Y=";
};
nativeBuildInputs = [ cmake ];
@ -57,7 +56,6 @@ stdenv.mkDerivation rec {
libsolv'
reproc
spdlog
termcolor
ghc_filesystem
python3
tl-expected