Отсутствует библиотека в Ubuntu 20.04

Для пакета, который я хочу использовать, требуется общая библиотека с именем libCGAL. so.13 . Когда я запускаю его, я получаю следующую ошибку:

error while loading shared libraries: libCGAL.so.13: cannot open shared object file: No such file or directory

Когда я пытаюсь установить его, используя $ sudo apt install libcgal13 , apt не может найти пакет.

После некоторых исследований я решил, что тот libcgal13 больше не доступен в Ubuntu 20.04. И что последняя версия, которая до сих пор имеет этот пакет - это Ubuntu 18.04.

Могу ли я скачать эту библиотеку куда-нибудь, не используя apt (и просто поместив файл .so в мой каталог / usr / lib / ). Если нет, есть ли способ установить пакет из предыдущих выпусков?

РЕДАКТИРОВАТЬ:

Вывод grep -r ^ deb / etc / apt / --include = "*. List"

/etc/apt/sources.list:deb http://fr.archive.ubuntu.com/ubuntu/ focal main restricted
/etc/apt/sources.list:deb http://fr.archive.ubuntu.com/ubuntu/ focal-updates main restricted
/etc/apt/sources.list:deb http://fr.archive.ubuntu.com/ubuntu/ focal universe
/etc/apt/sources.list:deb http://fr.archive.ubuntu.com/ubuntu/ focal-updates universe
/etc/apt/sources.list:deb http://fr.archive.ubuntu.com/ubuntu/ focal multiverse
/etc/apt/sources.list:deb http://fr.archive.ubuntu.com/ubuntu/ focal-updates multiverse
/etc/apt/sources.list:deb http://fr.archive.ubuntu.com/ubuntu/ focal-backports main restricted universe multiverse
/etc/apt/sources.list:deb http://security.ubuntu.com/ubuntu focal-security main restricted
/etc/apt/sources.list:deb http://security.ubuntu.com/ubuntu focal-security universe
/etc/apt/sources.list:deb http://security.ubuntu.com/ubuntu focal-security multiverse
/etc/apt/sources.list.d/teams.list:deb [arch=amd64] https://packages.microsoft.com/repos/ms-teams stable main
/etc/apt/sources.list.d/sublime-text.list:deb https://download.sublimetext.com/ apt/stable/ # 
/etc/apt/sources.list.d/openjdk-r-ubuntu-ppa-disco.list:deb http://ppa.launchpad.net/openjdk-r/ppa/ubuntu disco main #
/etc/apt/sources.list.d/openjdk-r-ubuntu-ppa-disco.list:deb-src http://ppa.launchpad.net/openjdk-r/ppa/ubuntu disco main
/etc/apt/sources.list.d/ubuntugis-ubuntu-ubuntugis-unstable-focal.list:deb http://ppa.launchpad.net/ubuntugis/ubuntugis-unstable/ubuntu focal main

РЕДАКТИРОВАТЬ 2:

Я смог заставить ее работать, скомпилировав библиотеку из исходного кода и использовав впоследствии ldconfig , как предложил @llywrch.