agda
|
agda nixos test: add to passthru for agda + stdlib
|
2021-03-30 13:54:02 +01:00 |
docker
|
Merge pull request #118018 from considerate/master
|
2021-04-16 09:17:44 +02:00 |
fetchurl
|
fetchurl: check that url is a string
|
2021-04-01 22:50:22 +02:00 |
fetchzip
|
fetchzip: accept urls
|
2021-04-07 02:41:25 +02:00 |
release
|
releaseTools: fix nixBuild function
|
2021-03-29 21:24:00 +02:00 |
rust
|
build-rust-crate: disable incremental builds
|
2021-04-08 10:45:56 +02:00 |
vm
|
lzma: deprecate alias
|
2021-04-04 19:49:52 +02:00 |
writers
|
treewide: use perl.withPackages when possible
|
2021-03-31 21:35:37 +02:00 |