Merge remote-tracking branch 'pr/204238'

* pr/204238:
  micromamba: 0.25.0 -> 1.0.0 Release notes at https://github.com/mamba-org/mamba/releases/tag/2022.11.01
This commit is contained in:
Sandro Jäckel 2022-12-05 00:15:39 +01:00
commit 66d7e707a4
No known key found for this signature in database
GPG Key ID: 3AF5A43A3EECC2E5

View File

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