nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-28 08:33:54 +00:00
Code Issues Packages Projects Releases Wiki Activity
374,059 Commits 187 Branches 125 Tags 9.4 GiB
c6658871e0
Commit Graph

6 Commits

Author SHA1 Message Date
FliegendeWurst
ccc26c651f mlton: disable parallel build 2022-02-02 12:21:29 +01:00
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