build-support
|
Merge pull request #8077 from Ericson2314/agda
|
2015-06-08 14:57:38 +01:00 |
desktops
|
Merge pull request #8243 from geerds/pomodoro
|
2015-06-09 18:14:37 +02:00 |
development
|
remove now-applied process-extras patch
|
2015-06-09 10:26:29 -07:00 |
games
|
voxelands: 1504.01 -> 1506.00
|
2015-06-28 16:36:15 -04:00 |
misc
|
bump dolphinEmuMaster, now needs gcc5 to compile
|
2015-06-09 03:24:18 -07:00 |
os-specific
|
mcelog -> 119
|
2015-06-09 20:22:26 +02:00 |
servers
|
cassandra 2.1.5 -> 2.1.6
|
2015-06-09 20:22:26 +02:00 |
shells
|
zsh: update from 5.0.7 to 5.0.8
|
2015-06-08 12:55:38 +02:00 |
stdenv
|
Revert "curl: Modernize build"
|
2015-06-04 14:54:52 +02:00 |
tools
|
Merge pull request #8250 from pesterhazy/fix/httpie
|
2015-06-09 19:19:08 +02:00 |