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
|
python3Packages.mocket: 3.9.41 -> 3.9.42
|
2021-06-10 23:18:47 +02:00 |
misc
|
proton-caller: 2.2.3 -> 2.3.0 (#126501)
|
2021-06-10 21:13:24 +02:00 |
servers
|
pleroma-otp: remove
|
2021-06-10 22:53:00 +02:00 |
test
|
neovim.tests: added more tests
|
2021-06-09 21:45:25 +02:00 |
tools
|
svtplay-dl: 3.7 -> 3.9.1
|
2021-06-10 23:02:40 +02:00 |
top-level
|
pleroma-otp: remove
|
2021-06-10 22:53:00 +02:00 |