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 |
emacs
|
emacs: fix setup-hook
|
2020-04-02 23:04:08 +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 |
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 |