El 18/3/23 a las 4:00, Ilari Jääskeläinen escribió:
There is a new upstream release available.
We already know. It's already reported (twice) in the BTS: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1029106 If you absolutely need to use make 4.4.1, you can try this, which is what I did: - Download and uncompress the tarball from ftp.gnu.org. - Build it with "./configure" and "make". - Either "make install" as root or just put the make executable in /usr/local/bin by hand. Thanks.
