What do I add with apt-add-repository so that I can apt install this?

Asked by Alex Zimmerman on 2018-09-05

I want to install this with "apt install libdeal.ii-dev"; but I need to first add the repository with apt-add-repository. I don't see the name of the repo to add anywhere on this page. What do I add?

Question information

Language:
English Edit question
Status:
Solved
For:
Ubuntu deal.ii Edit question
Assignee:
No assignee Edit question
Solved by:
WarrenSensei
Solved:
2018-09-06
Last query:
2018-09-06
Last reply:
2018-09-05
Best WarrenSensei (warren-sensei) said : #1

It appears to be in the Universe repositories.
However, you might not be using the full / correct filename,

This might help:

https://ubuntu.pkgs.org/16.04/ubuntu-universe-amd64/libdeal.ii-dev_8.1.0-6ubuntu1_amd64.deb.html

Thanks WarrenSensei, that solved my question.

Indeed, simply after a "sudo apt-get update" I was able to "sudo apt-get install libdeal.ii-dev". I find this odd, since I didn't have to add any new repo. But I was trying to do this on a brand new installation of WSL Ubuntu 18.04; and it was wrong of me to forget to apt-get update before trying this stuff.