I only changed "bookworm" to "trixie in sources.list. "apt update" "apt upgrade" "apt autoremove" coinor-libcoinmplv5 was held back but "apt full-upgrade" upgraded it. Don't know what that was about but all seems painless. mick