agda
|
agda: use exec in agdaWrapper
|
2018-12-07 21:37:19 -05:00 |
fetchgit
|
treewide: Fix broken Gmane URLs
|
2018-12-25 22:34:55 -05:00 |
rust
|
fetchcargo: fixed config installation path
|
2018-12-14 16:23:33 +03:00 |
writers
|
lib.makePerlPath -> perlPackages.makePerlPath
|
2018-12-15 03:50:31 +00:00 |