rc/classroom
2
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Fix SML/NJ download URL

Browse source
This commit is contained in:
Timotej Lazar 2022-10-04 12:35:49 +00:00
parent 99fbc72668
commit 5c182638bf
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
roles/winroom/tasks/smlnj.yml
View file

@ -4,5 +4,5 @@
- name: Install SML/NJ - name: Install SML/NJ
win_package: win_package:
path: "http://smlnj.cs.uchicago.edu/dist/working/{{ target_version }}/smlnj-{{ target_version }}.msi" path: "https://smlnj.org/dist/working/{{ target_version }}/smlnj-{{ target_version }}.msi"
creates_path: "%ProgramFiles(x86)%\\SMLNJ\\bin\\sml.bat" creates_path: "%ProgramFiles(x86)%\\SMLNJ\\bin\\sml.bat"