Closed KaKi87 closed 11 months ago
@eddelbuettel runs the PPA, I have no control over it I'd suggest just building from source if it doesn't work
@KaKi87 I once (or twice) built an older version, and only built it for distribution releases available then. The PPA show you that; however you can / should be able to add an older distro release via a PPA to you current system. I am running 23.10 myself and I freely with a number of third party repostiories. In general "older release works" because of forward compatibility.
@MrGlockenspiel How about binary releases for Linux ? Thanks
you can / should be able to add an older distro release via a PPA to you current system
What do you mean ?
@KaKi87 In fact it is right there:
So if you just pick jammy aka 22.04 as the distro of the PPA you are golden.
Follow the instructions:
which, once you pick 'jammy' become even clearer
As usual, you do not (generally) need the source deb indicate on the deb-src
line. Just pick the previous one. There is your binary.
That worked, thanks. It would still be nice to make the latest distros point transparently to the same file, or at least explain in the README that "jammy" must be used. Thanks
Great to know you are covered.
It would still be nice ...
We are all volunteers here. Maybe you feel inspired to scratch the itch you are having which has long been a main driver of how open source is getting done...
Hi,
After adding the PPA and running
apt update
, Ubuntu 23.04 says the package still doesn't exist :Thanks