build-support
|
mkCoqDerivation: fix useDune2
|
2021-06-10 21:52:03 +02:00 |
data
|
Merge pull request #126377 from fufexan/orchis-theme
|
2021-06-10 20:23:13 +02:00 |
development
|
Merge pull request #126532 from oxzi/olm-3.2.4
|
2021-06-11 10:34:44 +02:00 |
misc
|
Merge pull request #125379 from deviant/bump-vsls
|
2021-06-11 10:42:59 +02:00 |
os-specific
|
Merge pull request #126513 from chkno/flakesFlags
|
2021-06-11 00:27:10 +02:00 |
servers
|
rainloop: 1.14.0 -> 1.16.0
|
2021-06-11 10:43:09 +02:00 |
test
|
neovim.tests: added more tests
|
2021-06-09 21:45:25 +02:00 |
tools
|
Merge pull request #126529 from woffs/nncp-6.5.0
|
2021-06-11 10:42:35 +02:00 |
top-level
|
ocamlPackages.cudf: init 0.9
|
2021-06-10 23:47:12 +02:00 |