5 Commits

Include renames

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