agda
|
agda: rework builder
|
2020-05-14 20:54:11 +01:00 |
cc-wrapper
|
Merge staging-next into staging
|
2020-05-24 10:10:06 +02:00 |
docker
|
dockerTools: fix skopeo commands
|
2020-05-25 14:29:54 +10: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 |
ocaml
|
buildDunePackage: add support for parallel build
|
2020-04-29 16:08:52 +02:00 |
rust
|
Merge staging-next into staging
|
2020-06-08 12:08:51 +02:00 |
setup-hooks
|
Merge master into staging-next
|
2020-06-04 15:25:54 +02:00 |