The 'DEB file' link on mosml.org does not take me to a .deb file, and the PPA it does take me to doesn't work

[athas]

$ sudo add-apt-repository ppa:kflarsen/mosml
[sudo] password for athas: 
 Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research. http://mosml.org

 More info: https://launchpad.net/~kflarsen/+archive/ubuntu/mosml
Press [ENTER] to continue or Ctrl-c to cancel adding it.

...

E: The repository 'http://ppa.launchpad.net/kflarsen/mosml/ubuntu bionic Release' does not have a Release file.
N: Updating from such a repository can't be done securely, and is therefore disabled by default.
N: See apt-secure(8) manpage for repository creation and user configuration details.

$ sudo apt-get update
...
Err:18 http://ppa.launchpad.net/kflarsen/mosml/ubuntu bionic Release                                                                                                     
  404  Not Found [IP: 91.189.95.83 80]

I am using Ubuntu 18.04 LTS on x86-64.

Also, the light grey text on mosml.org is extremely hard to read on the white background.

[athas]

There is actually a .deb file you can get by following the links on the PPA page, and it does work on my system. I'd recommend just linking directly to that.

[kfl]

Thanks for the report. I'm afraid all the installers have fallen behind.

The right solution for Ubuntu would be an up-to-date PPA. However, if the .deb works on current systems, then maybe I just just link directly.