Update jasminc

This commit is contained in:
2024-04-22 14:18:25 +02:00
parent a0d94c680b
commit da7fb0ca94

View File

@@ -4,8 +4,8 @@ let
jasmin-src = fetchFromGitHub {
owner = "Rixxc";
repo = "jasmin";
rev = "244d42d2a8c37d7607abf7dd5e92eddd2c339340";
hash = "sha256-EDLsFsRZmSzei2LvgJfI6W+DiErnfrwO7ciom/1+6BQ=";
rev = "783aea97836f5ddf7b62de24ab94768cb606adf8";
hash = "sha256-5XXZ2IYXCixJHaswdYkG8ivh3fIftaibOgkpz2TKGMI=";
};
jasmin-drv = callPackage "${jasmin-src}/default.nix" { inherit pkgs; };