*** This bug is a duplicate of bug 1898152 ***
https://bugs.launchpad.net/bugs/1898152
After removing gnuradio-dev, the upgrade completed successfully.
Many thanks to everyone for your help.
Kind regards,
Francisco
--
You received this bug notification because you are a member of Ubuntu
*** This bug is a duplicate of bug 1898152 ***
https://bugs.launchpad.net/bugs/1898152
https://bugs.launchpad.net/ubuntu/+source/ubuntu-release-
upgrader/+bug/1898152/comments/3
** This bug has been marked a duplicate of bug 1898152
upgrade fails to calculate if gnuradio-dev is installed