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
|
gnat: init at 9.3.0
|
2020-04-20 14:41:22 +02:00 |
docker
|
Merge pull request #87725 from nlewo/fix-dockertools
|
2020-05-15 16:54:09 +02:00 |
ocaml
|
buildDunePackage: add support for parallel build
|
2020-04-29 16:08:52 +02:00 |
rust
|
rustPlatform: fix bug with ambiguous diff tool
|
2020-05-06 21:03:41 -04:00 |
vm
|
treewide: Per RFC45, remove all unquoted URLs
|
2020-04-10 17:54:53 +01:00 |