coq
|
coqPackages: refactor
|
2021-01-09 11:56:17 +01:00 |
docker
|
dockerTools: typo
|
2021-01-15 14:23:51 +01:00 |
fetchbzr
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |
fetchgit
|
fetchgit: add lfs support
|
2021-01-11 09:41:06 -08:00 |
fetchmtn
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |
fetchurl
|
mirrors: fix lua mirrors
|
2020-12-08 23:55:31 +01:00 |