search

gsdlab / clafer

Clafer is a lightweight modeling language
http://clafer.org
MIT License
45 stars 13 forks source link

Seems alloy download url has changed #96

Closed toeklk closed 5 years ago

toeklk commented 5 years ago

✔ ~/git/clafer/clafer [newalloyurl|✔]$ wget http://alloy.mit.edu/alloy/downloads/alloy4.2_2015-02-22.jar --2019-05-21 22:59:11-- http://alloy.mit.edu/alloy/downloads/alloy4.2_2015-02-22.jar Herleiden van alloy.mit.edu (alloy.mit.edu)... 5.1.88.200 Verbinding maken met alloy.mit.edu (alloy.mit.edu)|5.1.88.200|:80... verbonden. HTTP-verzoek is verzonden; wachten op antwoord... 500 Internal Server Error 2019-05-21 22:59:11 Fout 500: Internal Server Error.

toeklk commented 5 years ago

Note that this also affects older releases