agda
|
agda: use exec in agdaWrapper
|
2018-12-07 21:37:19 -05:00 |
bintools-wrapper
|
Merge staging-next into staging
|
2018-11-22 10:10:40 +01:00 |
fetchurl
|
fetchurl: refresh and add extra KDE mirrors
|
2018-12-08 15:39:05 +01:00 |
libredirect
|
libredirect: set install_name on Darwin
|
2018-11-14 00:05:26 +01:00 |
ocaml
|
ocamlPackages.buildDunePackage: fix meta.platforms
|
2018-11-30 16:19:03 +00:00 |
rust
|
fetchcargo: fixed config installation path
|
2018-12-14 16:23:33 +03:00 |