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
|
cppcheck: Build the cfg files (close #2572)
|
2014-05-13 11:39:33 +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 |
stdenv
|
s/config.allowUnfree = true/allowUnfree = true/
|
2014-05-03 15:13:01 +02:00 |
tools
|
Merge pull request #2628 from pSub/nm-connection-editor
|
2014-05-12 23:37:38 +02:00 |