agda
|
agdaPackages: Don't build broken packages on hydra
|
2021-07-22 17:29:09 +02:00 |
bintools-wrapper
|
Merge master into staging-next
|
2021-07-25 06:01:27 +00:00 |
cc-wrapper
|
gprbuild, xmlada: init at 21.0.0
|
2021-08-03 14:58:49 +02:00 |
docker
|
docker: format
|
2021-08-10 10:32:46 +02:00 |
kernel
|
make-initrd: fix #132059
|
2021-08-08 07:53:59 +02:00 |
setup-hooks
|
stdenv: add link to clarify
|
2021-07-19 14:50:01 +09:00 |
writers
|
tests.writers: also expose path via passthru
|
2021-07-13 15:22:34 +02:00 |