applications
|
z3_opt: remove and replace with z3
|
2017-09-02 04:19:11 -05:00 |
build-support
|
Merge commit '2858c41' into HEAD
|
2017-08-30 21:07:07 +02:00 |
data
|
nerdfonts: 1.0.0 -> 1.1.0
|
2017-08-31 10:45:31 +02:00 |
development
|
misc pkgs: Recategorize some dependencies
|
2017-09-05 11:37:10 -04:00 |
games
|
Merge pull request #28825 from disassembler/crrcsim
|
2017-09-01 14:13:21 +01:00 |
misc
|
Merge pull request #28879 from romildo/vertex-theme
|
2017-09-02 08:20:22 +01:00 |
os-specific
|
conky: Don't enable nvidiaSupport by default
|
2017-09-01 17:35:17 +02:00 |
servers
|
misc pkgs: Recategorize some dependencies
|
2017-09-05 11:37:10 -04:00 |
stdenv
|
expand-response-params: Build more normally
|
2017-08-25 15:10:02 -04:00 |
tools
|
misc pkgs: Recategorize some dependencies
|
2017-09-05 11:37:10 -04:00 |
top-level
|
z3_opt: remove and replace with z3
|
2017-09-02 04:19:11 -05:00 |