add focal to ubuntu suits

[stoand]

I ran into a problem attempting to add the mercury-lang repository in Ubuntu focal.

I did not actually run/build anything but a quick search of the source led me to this place where "focal" appears to be missing.

What I tried:

broken mercury.list:

deb http://dl.mercurylang.org/deb/ focal main
deb-src http://dl.mercurylang.org/deb/ focal main

Resulting Error:

The repository 'http://dl.mercurylang.org/deb focal Release' does not have a Release file

But this works:

deb http://dl.mercurylang.org/deb/ stretch main
deb-src http://dl.mercurylang.org/deb/ stretch main

[PaulBone]

This is just the first step in being able to build packages for focal.

However if we don't need to build focal packages because other packages already work I'd prefer to use those other packages, It's less to maintain. Of course if they don't work then I can make some focal packages.

In the next couple of days I'll test if focal works with stretch packages myself and update the webpage if necessary.

[stoand]

I wasn't being super clear saying the stretch packages work for focal.

They work in the sense that

sudo apt update

does not break.

But actually installing stretch packages in focal does not work I get the error:

sudo apt install mercury-recommended

...

Unable to correct problems, you have held broken packages

My main point was that focal builds seemed to be completely disabled rather than corrupted in some way (possibly on my end).

However http://dl.mercurylang.org/deb/ mentions focal explicitly as being supported.

[PaulBone]

Ah, okay, I'll fix that. It may need more than your patch (that's just the beginning). Thanks for opening the issue.

[PaulBone]

Hi @stoand

I've fixed the problem and focal packages are mostly (#11 ) working. The problem was I forgot to run the command that generates the focal symlink in the repository. I'm updating the documentation for next time we need to add a new distro version (9034431). Thanks again.