agda
|
agda nixos test: add to passthru for agda + stdlib
|
2021-03-30 13:54:02 +01:00 |
appimage
|
apple-music-electron: 1.5.2 -> 1.5.5
|
2021-03-12 01:21:33 +01:00 |
fetchurl
|
fetchurl: check that url is a string
|
2021-04-01 22:50:22 +02:00 |
release
|
releaseTools: fix nixBuild function
|
2021-03-29 21:24:00 +02:00 |
writers
|
treewide: use perl.withPackages when possible
|
2021-03-31 21:35:37 +02:00 |