applications
|
Bump coq version to 8.4pl4.
|
2014-05-12 22:17:00 -04: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 |
games
|
tibia: version 10.39
|
2014-05-02 20:38:42 +02:00 |
misc
|
mate-themes: update from 1.6.2 to 1.6.3
|
2014-05-02 21:31:05 +02:00 |
os-specific
|
Allow no-kernel-module build of SysDig
|
2014-05-13 00:08:45 +04: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 |