agda
|
agda: install literate files
|
2020-06-01 13:59:20 +01:00 |
cc-wrapper
|
Merge staging-next into staging
|
2020-05-24 10:10:06 +02:00 |
docker
|
dockerTools: keep symlinks to nix intact
|
2020-06-19 10:08:34 +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
|
treewide: central.maven.org -> repo1.maven.org
|
2020-06-12 14:26:08 +00:00 |
setup-hooks
|
Merge master into staging-next
|
2020-06-04 15:25:54 +02:00 |