Merge pull request #262404 from emilytrau/mrustc-0.10.1

mrustc: 0.10 -> 0.10.1
This commit is contained in:
Weijia Wang 2023-10-21 15:28:30 +02:00 committed by GitHub
commit 71d8c70ca8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -4,9 +4,9 @@
}:
let
version = "0.10";
version = "0.10.1";
tag = "v${version}";
rev = "b364724f15fd6fce8234ad8add68107c23a22151";
rev = "b6754f574f8846eb842feba4ccbeeecb10bdfacc";
in
stdenv.mkDerivation rec {
@ -18,7 +18,7 @@ stdenv.mkDerivation rec {
owner = "thepowersgang";
repo = "mrustc";
rev = tag;
sha256 = "0f7kh4n2663sn0z3xib8gzw0s97qpvwag40g2vs3bfjlrbpgi9z0";
hash = "sha256-sYnx5dUTaQbK4ugnSzAJwIUwZKPUhThmNA+WlY+LEWc=";
};
postPatch = ''