diff options
| author | Sophia Donataccio <srdqty@gmail.com> | 2018-10-12 00:47:54 -0400 |
|---|---|---|
| committer | Sophia Donataccio <srdqty@gmail.com> | 2018-10-12 00:47:54 -0400 |
| commit | bb7ed2cd8119583a8ed2f5ef0b8b71f26bd436ce (patch) | |
| tree | a8ab6e79e34744e1c5c0a922d4a2387699976506 /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | fd9a07c7d4dc1679805e2699bdea8ade3c0ed1d9 (diff) | |
mlton: refactor and adds mlton20180207Binary mlton20180207 mltonHEAD
This commit adds mltonHEAD.
Summary of all the changes in this branch:
* mlton20130715
- for this one I just copy and pasted the old default.nix
- I have tested some projects that compile with this version and don't
compile with the newer version, so I think it makes sense to keep
the old version
* mlton20180207Binary
- This is used to build the source derivations
* mlton20180207
- latest release
* mltonHEAD
- latest commit to the master branch of the github repo at the time of
creating this derivation
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions