agda
|
agdaPackages: Don't build broken packages on hydra
|
2021-07-22 17:29:09 +02: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 |
writers
|
tests.writers: also expose path via passthru
|
2021-07-13 15:22:34 +02:00 |