agda
|
agda: rework builder
|
2020-05-14 20:54:11 +01:00 |
cc-wrapper
|
gdc: init at 9.3.0
|
2020-05-19 23:06:52 +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 |