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
|
d-feet: 0.3.9 -> 0.3.10
|
2015-06-24 20:57:03 +02:00 |
games
|
openttd: update from 1.4.4 to 1.5.1
|
2015-06-07 15:43:53 +02: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 |