agda
|
agda: install literate files
|
2020-06-01 13:59:20 +01:00 |
docker
|
dockerTools.buildLayeredImage: fix created=now
|
2020-07-09 09:34:18 +02:00 |
fetchbzr
|
treewide: replace bazaar with breezy
|
2020-05-25 09:22:54 +02:00 |
fetchgitlab
|
fetchgitlab: escape rev to support "+" in it
|
2020-05-24 22:24:50 +02:00 |
fetchurl
|
Merge branch 'master' into fetchurl-no-hash
|
2020-07-06 14:40:49 -04:00 |
rust
|
buildRustPackage: fix cargoBuildFlags
|
2020-07-03 08:53:57 +10:00 |