Merge pull request #312155 from r-ryantm/auto-update/odin

odin: dev-2024-04a -> dev-2024-05
This commit is contained in:
Pol Dellaiera 2024-05-16 22:18:36 +02:00 committed by GitHub
commit e79136911a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -12,13 +12,13 @@ let
inherit (llvmPackages) stdenv; inherit (llvmPackages) stdenv;
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
pname = "odin"; pname = "odin";
version = "dev-2024-04a"; version = "dev-2024-05";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "odin-lang"; owner = "odin-lang";
repo = "Odin"; repo = "Odin";
rev = version; rev = version;
hash = "sha256-jFENpWUosNNTctYiHdKqDg7ENAoEtigz87pTfYJDj5Q="; hash = "sha256-JGTC+Gi5mkHQHvd5CmEzrhi1muzWf1rUN4f5FT5K5vc=";
}; };
nativeBuildInputs = [ nativeBuildInputs = [