agda
|
agda: rework builder
|
2020-05-14 20:54:11 +01:00 |
alternatives
|
lapack: fix darwin library identifiers
|
2020-04-24 20:00:56 +02: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 |
emacs
|
emacs: fix setup-hook
|
2020-04-02 23:04:08 +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 |
ocaml
|
buildDunePackage: add support for parallel build
|
2020-04-29 16:08:52 +02:00 |
release
|
releaseTools: no-op expression cleanup
|
2020-03-21 21:15:33 -04:00 |
vm
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |