If I remember correctly, yes I did. However, I am confused because I have installed Debian 12 a couple of times because I was unable to do a dual boot with Windows 10. This is the final, and I was able to dual-boot Debian 12 with Windows 10. I am currently logged in on my Windows system. I will try the commands once I get back to Linux and I will let you know about it. But, If I remember correctly, this did not help either. My best guess is that the deb.debian.org server does not have an updated version of Electrum yet. I could be wrong. If any Debian users are using an updated version of Electrum, they may confirm what is wrong.