agda
|
build-support/agda: Make includePaths configurable
|
2021-08-30 09:20:35 +02:00 |
alternatives
|
Merge staging-next into staging
|
2021-09-16 00:02:05 +00:00 |
appimage
|
libgpg-error: rename from libgpgerror
|
2021-10-06 18:23:43 -07:00 |
fetchgithub
|
fetchFromGitHub: allow forcing fetchGit
|
2021-09-28 15:00:11 +02:00 |
libredirect
|
libredirect: add subprocess test
|
2021-09-03 23:45:46 +02:00 |
mkshell
|
mkshell: small fix for #137005 (#137105)
|
2021-09-08 16:54:24 +02:00 |
vm
|
vmTools refactor: don't use huge with pkgs;
|
2021-09-30 21:26:35 +02:00 |
writers
|
writers: drop writeC
|
2021-08-25 20:16:31 +02:00 |