applications
|
nheko: dirty fix to #94942 (#95060)
|
2020-08-23 00:16:14 +02:00 |
desktops
|
deepin.dde-api: mark as broken
|
2020-08-22 07:59:13 +10:00 |
development
|
coqPackages.coqprime: enable for Coq 8.11
|
2020-08-23 08:19:21 +02:00 |
misc
|
pipes: fix dependencies
|
2020-08-21 16:37:24 -07:00 |
os-specific
|
linuxPackages.rtl8821cu: init at 2020-05-16
|
2020-08-22 23:09:45 +08:00 |
shells
|
oh-my-zsh: 2020-08-18 -> 2020-08-20
|
2020-08-20 08:18:29 -04:00 |
tools
|
_1password-gui: 0.8.0 -> 0.8.2-1
|
2020-08-23 08:50:06 +02:00 |
top-level
|
coq: default to version 8.11
|
2020-08-23 08:19:21 +02:00 |