Merge pull request #190645 from cbourjau/update-micromamba

micromamba: 0.24.0 -> 0.25.0
This commit is contained in:
Jonas Heinrich 2022-09-11 10:56:46 +02:00 committed by GitHub
commit e547191973
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -44,13 +44,13 @@ let
in
stdenv.mkDerivation rec {
pname = "micromamba";
version = "0.24.0";
version = "0.25.0";
src = fetchFromGitHub {
owner = "mamba-org";
repo = "mamba";
rev = "micromamba-" + version;
sha256 = "sha256-CszDmt3SElHo1D2sNy2tPhZ43YD3pDjT8+fp2PVk+7Y=";
sha256 = "sha256-aTScTM1jX1WIrAVkAvp37fMa+05teLJnVdyIwtYq7mY=";
};
nativeBuildInputs = [ cmake ];