search

kfl / mosml

Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
http://mosml.org
341 stars 42 forks source link

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 #57

Open athas opened 5 years ago

athas commented 5 years ago 
$ 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 commented 5 years ago

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 commented 5 years ago

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.