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 |
coq
|
mkCoqDerivation: fix useDune2
|
2021-06-10 21:52:03 +02:00 |
docker
|
dockerTools.tarsum: use current go
|
2021-07-08 16:31:33 +10: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 |