applications
|
nixpkgs: z3 4.3.1 -> 4.3.2
|
2015-01-23 11:00:55 -06:00 |
build-support
|
nix-prefetch-zip: unset $name
|
2015-01-22 21:18:16 -05:00 |
desktops
|
Merge pull request #5816 from AndersonTorres/xfce
|
2015-01-18 10:32:32 +01:00 |
development
|
Merge pull request #5906 from aaronlevin/patch-2
|
2015-01-23 20:23:03 +01:00 |
games
|
tibia: update to version 10.73
|
2015-01-23 19:41:27 +00:00 |
misc
|
frescobaldi: add pygame dependency for midi support
|
2015-01-22 23:34:10 -06:00 |
os-specific
|
linux-testing: Update to version 3.19-rc5.
|
2015-01-22 09:56:37 +01:00 |
servers
|
Merge pull request #4677 from cstrahan/pleasant-ruby
|
2015-01-21 23:27:38 -05:00 |
shells
|
nixpkgs: remove redundant attribute sip
|
2014-12-23 19:37:21 +01:00 |
tools
|
nixpkgs: afl 1.06b -> 1.21b
|
2015-01-23 10:46:10 -06:00 |
top-level
|
Adding a pgf command line tool.
|
2015-01-23 16:09:33 +01:00 |