Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: atari800 5.2.0 -> 7_1_2 https://github.com/atari800/atari800/releases
attrpath: atari800
Checking auto update branch...
An auto update branch exists with message `atari800: 5.2.0 -> 7_0_0`. New version is 7_1_2.
The auto update branch does not match or exceed the new version.
[version] 
[version] updated version and sha256
[rustCrateVersion] 
[rustCrateVersion] No cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorHash
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] skipping because derivation has no updateScript
Diff after rewrites:
diff --git a/pkgs/by-name/at/atari800/package.nix b/pkgs/by-name/at/atari800/package.nix
index 43f567993849..201813c2a857 100644
--- a/pkgs/by-name/at/atari800/package.nix
+++ b/pkgs/by-name/at/atari800/package.nix
@@ -13,13 +13,13 @@
 
 stdenv.mkDerivation (finalAttrs: {
   pname = "atari800";
-  version = "5.2.0";
+  version = "7_1_2";
 
   src = fetchFromGitHub {
     owner = "atari800";
     repo = "atari800";
     rev = "ATARI800_${lib.replaceStrings [ "." ] [ "_" ] finalAttrs.version}";
-    hash = "sha256-D66YRRTqdoV9TqDFonJ9XNpfP52AicuYgdiW27RCIuQ=";
+    hash = "sha256-MKMIliTHn3o+iHon3JEQLD90s0YKM69EYRitys5CK+w=";
   };
 
   nativeBuildInputs = [

Received ExitFailure 1 when running
Raw command: nix-build --option sandbox true --arg config "{ allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A atari800
nix build failed.
  CC       atari800-sound.o
  CC       sdl/atari800-sound.o
  CC       atari800-pokeyrec.o
  CC       codecs/atari800-image.o
  CC       codecs/atari800-image_pcx.o
  CC       atari800-file_export.o
  CC       codecs/atari800-container.o
  CC       codecs/atari800-container_wav.o
  CC       codecs/atari800-audio.o
  CC       codecs/atari800-audio_pcm.o
  CC       codecs/atari800-audio_adpcm.o
  CC       codecs/atari800-audio_mulaw.o
  CC       codecs/atari800-container_avi.o
  CC       codecs/atari800-video.o
  CC       codecs/atari800-video_mrle.o
  CC       codecs/atari800-video_zmbv.o
  CC       atari800-videomode.o
  CC       sdl/atari800-main.o
  CC       sdl/atari800-video.o
  CC       sdl/atari800-video_sw.o
  CC       sdl/atari800-input.o
sdl/input.c: In function 'PLATFORM_GetRawKey':
sdl/input.c:888:9: error: unknown type name 'SDL_Keycode'
  888 |         SDL_Keycode key;
      |         ^~~~~~~~~~~
make[2]: *** [Makefile:2677: sdl/atari800-input.o] Error 1
make[2]: Leaving directory '/build/source/src'
make[1]: *** [Makefile:1112: all] Error 2
make[1]: Leaving directory '/build/source/src'
make: *** [Makefile:424: all-recursive] Error 1