jaeger changed the topic of #crux-arm to: CRUX-ARM 3.7 Released! - http://crux-arm.nu/Documentation/ReleaseNotes3-7 | Logs: https://libera.irclog.whitequark.org/crux-arm/
crux-arm-bot has joined #crux-arm
<crux-arm-bot> [ Fetch URL: https://github.com/TimB87/crux-ports-opt-arm64 ]: rust: 1.80.0 -> 1.80.1
crux-arm-bot has left #crux-arm [#crux-arm]