androidndk-pkgs
|
Remove redundant chmod
|
2018-12-19 22:45:48 +01:00 |
coq-modules
|
coqPackages.Verdi: fix build
|
2018-12-21 12:37:04 +01:00 |
go-modules
|
buildGoPackage: also support pname
|
2018-12-18 03:57:54 +01:00 |
idris-modules
|
idris-modules/curses.nix: delete
|
2019-01-04 13:44:37 +01:00 |
libraries
|
cutelyst: fix build
|
2019-01-04 14:16:45 +01:00 |
mobile
|
Reintroduce licenseAccepted option
|
2018-12-18 21:16:07 +01:00 |
pharo
|
pharo: Simple fix for Iceberg (#52466)
|
2018-12-19 12:16:06 +01:00 |
python-modules
|
python: pylint: 1.9.3 -> 1.9.4
|
2019-01-04 14:35:58 +01:00 |
tools
|
Merge pull request #53351 from Mic92/clang-tools
|
2019-01-04 13:49:06 +01:00 |