applications
|
nixpkgs: add lean-20150328, a theorem prover.
|
2015-03-28 01:47:39 -05:00 |
data
|
fira: 4.002 -> 4.004
|
2015-03-26 11:55:39 +01:00 |
desktops
|
startkde: Fix kdostartupconfig5 path
|
2015-03-21 18:56:59 -05:00 |
development
|
librsvg: 2.36.4 -> 2.40.9
|
2015-03-27 15:36:26 -07:00 |
games
|
steam: fix: add gst lib (needed by audiosurf 2)
|
2015-03-21 02:54:32 +03:00 |
misc
|
Merge pull request #6994 from oxij/trivial-package-fixes
|
2015-03-27 11:09:16 +01:00 |
os-specific
|
zfs_git: 2015-03-20 -> 2015-03-25
|
2015-03-27 15:52:44 -07:00 |
servers
|
prosody: 0.9.7 -> 0.9.8
|
2015-03-26 16:41:05 -07:00 |
shells
|
xonsh: new package
|
2015-03-26 14:25:17 -04:00 |
tools
|
nixpkgs: afl 1.57b -> 1.58b
|
2015-03-28 01:51:00 -05:00 |
top-level
|
nixpkgs: add lean-20150328, a theorem prover.
|
2015-03-28 01:47:39 -05:00 |