agda
|
agda: use exec in agdaWrapper
|
2018-12-07 21:37:19 -05:00 |
bintools-wrapper
|
add generic x86_32 support (#52634)
|
2019-01-06 12:57:36 -06:00 |
fetchgit
|
treewide: Fix broken Gmane URLs
|
2018-12-25 22:34:55 -05:00 |
rust
|
toml2nix: init at 0.1.1 (#53883)
|
2019-01-15 23:36:36 +02:00 |
setup-hooks
|
pruneLibtoolFiles: check if prefix exists
|
2018-12-09 22:44:29 +00:00 |
writers
|
lib.makePerlPath -> perlPackages.makePerlPath
|
2018-12-15 03:50:31 +00:00 |