agda
|
agda: use exec in agdaWrapper
|
2018-12-07 21:37:19 -05:00 |
fetchurl
|
mirrors.nix: remove bad cpan mirrors
|
2018-12-19 01:19:08 +00: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 |
setup-hooks
|
audit-tmpdir hook: clean up whitespace
|
2018-12-02 11:45:34 +01:00 |