Commit graph

5 commits

Author SHA1 Message Date
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