applications
|
Bump coq version to 8.4pl4.
|
2014-05-12 22:17:00 -04:00 |
build-support
|
fetchurl: Fix typo in comment (close #2591)
|
2014-05-13 11:23:50 +02:00 |
data
|
Merge pull request #2551 from CodeBlock/source-code-pro
|
2014-05-07 09:48:49 +02:00 |
desktops
|
fetchurl_gnome -> fetchurlGnome
|
2014-05-08 15:30:17 +02:00 |
development
|
Merge #2556: update xpra, pygtk and ffmpeg2
|
2014-05-13 11:50:56 +02:00 |
games
|
tibia: version 10.39
|
2014-05-02 20:38:42 +02:00 |
misc
|
Merge pull request #2580 from ttuegel/qtcurve
|
2014-05-13 11:30:50 +02:00 |
shells
|
ipython: update 1.1.0 -> 2.0.0
|
2014-04-13 21:55:27 +02:00 |
stdenv
|
s/config.allowUnfree = true/allowUnfree = true/
|
2014-05-03 15:13:01 +02:00 |
tools
|
Merge #2556: update xpra, pygtk and ffmpeg2
|
2014-05-13 11:50:56 +02:00 |
top-level
|
python-packages.nix: drop trailing whitespace
|
2014-05-13 11:48:48 +02:00 |