Gabriel Ebner
|
213feab38a
|
mlton: use $TMPDIR
|
2020-09-10 17:11:26 +02:00 |
|
Gabriel Ebner
|
a7f9d336b7
|
mlton: fix build
|
2020-09-09 19:29:57 +02:00 |
|
volth
|
c814d72b51
|
treewide: name -> pname
|
2019-08-17 10:54:38 +00:00 |
|
Sophia Donataccio
|
fd9a07c7d4
|
mlton: add one-liner from old derivation to fix source files
Updates from-git-source.nix to use the one-liner to fix up the bash
shebang lines.
|
2018-10-12 00:36:07 -04:00 |
|
Sophia Donataccio
|
a130228fe8
|
mlton: adds mlton version 20180207
|
2018-10-12 00:30:48 -04:00 |
|