shell.nix: bump arm-embedded-gcc to version 13

[mmilata]

Since #4374 it seems arm-none-eabi-gdb v12 is broken. Let's have some moderate progress within the bounds of the law and bump to 13.3.1 which is not broken in this way?

$ arm-none-eabi-gdb
Fatal Python error: init_import_size: Failed to import the site module
Python runtime state: initialized
Traceback (most recent call last):
  File "/nix/store/hywjs3gs3fki9v8zpxxas8yra0gxpprm-python3-3.9.20/lib/python3.9/site.py", line 73, in <module>
    import os
  File "/nix/store/hywjs3gs3fki9v8zpxxas8yra0gxpprm-python3-3.9.20/lib/python3.9/os.py", line 29, in <module>
    from _collections_abc import _check_methods
  File "/nix/store/hywjs3gs3fki9v8zpxxas8yra0gxpprm-python3-3.9.20/lib/python3.9/_collections_abc.py", line 12, in <module>
    GenericAlias = type(list[int])
TypeError: 'type' object is not subscriptable

[github-actions]

core UI changes	device test	click test	persistence test
T2T1 Model T	test(screens) main(screens)	test(screens) main(screens)	test(screens) main(screens)
T3B1 Safe 3	test(screens) main(screens)	test(screens) main(screens)	test(screens) main(screens)
T3T1 Safe 5	test(screens) main(screens)	test(screens) main(screens)	test(screens) main(screens)
All	main(screens)

[prusnak]

Let's have some moderate progress within the bounds of the law and bump to 13.3.1 which is not broken in this way?

gcc-arm-embedded-13 has the same issue unless you update to nixpkgs containing this fix NixOS/nixpkgs#398190

[mmilata]

I'm not able to reproduce the error message from NixOS/nixpkgs#299754, @kopecdav says arm-none-eabi-gdb from 13 works fine for him.

$ arm-none-eabi-gdb
GNU gdb (Arm GNU Toolchain 13.3.Rel1 (Build arm-13.24)) 14.2.90.20240526-git
[...]
(gdb) python "print('hi')"
Python scripting is not supported in this copy of GDB.

[prusnak]

I'm not able to reproduce the error message from NixOS/nixpkgs#299754, @kopecdav says arm-none-eabi-gdb from 13 works fine for him.

ah, okay then

[mmilata]

starting to be a bit puzzled why it works for us: NixOS/nixpkgs#303651 (comment)

[prusnak]

starting to be a bit puzzled why it works for us: NixOS/nixpkgs#303651 (comment)

from NixOS/nixpkgs#303651 (comment)

If you bump the package version to '13.3.rel1', it works for arm-none-eabi-gdb but not for arm-none-eabi-gdb-py

[romanz]

utACK