agda
|
agda: use exec in agdaWrapper
|
2018-12-07 21:37:19 -05:00 |
cc-wrapper
|
cc-wrapper: set priority to 10
|
2019-01-31 20:07:55 -05:00 |
rust
|
toml2nix: init at 0.1.1 (#53883)
|
2019-01-15 23:36:36 +02:00 |
vm
|
runInLinuxVM: pkgs.linux -> kernel
|
2019-01-29 20:17:44 +00:00 |
writers
|
lib.makePerlPath -> perlPackages.makePerlPath
|
2018-12-15 03:50:31 +00:00 |