can't find libnettle.so.6, ubuntu 20.04 has libnettle.so.7

 u@unamed:~/prjs$ wget  http://archive.ubuntu.com/ubuntu/pool/main/n/nettle/libnettle6_3.4-1_amd64.deb

 

u@unamed:~/prjs$ sudo dpkg -i libnettle6_3.4-1_amd64.deb

 

 libisl.so.15

http://archive.ubuntu.com/ubuntu/pool/universe/i/isl-0.18/libisl15_0.18-4_amd64.deb

 

libmpfr.so.4

http://ftp.br.debian.org/debian/pool/main/m/mpfr4/libmpfr4_3.1.5-1_amd64.deb

 

 

 

1. To install a .deb file, simply Right click on the .deb file, and choose Kubuntu Package Menu->Install Package.

2. Alternatively, you can also install a .deb file by opening a terminal and typing:

   sudo dpkg -i package_file.deb

3. To uninstall a .deb file, remove it using Adept, or type:

   sudo apt-get remove package_name