development
|
coq_8_13: init at 8.13+β1
|
2020-12-15 21:13:40 +01:00 |
games
|
superTuxKart: 1.1 -> 1.2
|
2020-12-14 20:21:47 +01:00 |
misc
|
bareboxTools: init at v2020.12.0
|
2020-12-14 21:49:37 +01:00 |
os-specific
|
linux/hardened/patches/5.8: remove
|
2020-12-15 14:34:44 -05:00 |
servers
|
knot-dns: 3.0.2 -> 3.0.3
|
2020-12-15 16:58:56 +01:00 |
shells
|
Remove myself from maintainers sets
|
2020-12-07 14:30:37 +00:00 |
stdenv
|
Merge master into staging-next
|
2020-12-03 00:36:28 +00:00 |
tools
|
Merge PR #106881
|
2020-12-14 22:08:14 +01:00 |