laMudri 2e712b501c agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)

2016-06-07 11:17:37 +01:00

..

applications

Merge pull request #16020 from Profpatsch/abcde-flac-bin

2016-06-07 09:13:57 +02:00

build-support

Fix buildRustPackage edge cases

2016-06-02 17:15:52 +02:00

data

fix 'licenses' -> 'license' in several places

2016-06-07 04:57:21 +03:00

desktops

Revert "kde5.frameworks: 5.21 -> 5.22"

2016-06-05 14:56:27 -05:00

development

agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)

2016-06-07 11:17:37 +01:00

games

Merge pull request #15966 from pshendry/master

2016-06-06 16:44:07 +02:00

misc

vimPlugins: add purescript plugins

2016-06-04 17:25:08 -07:00

os-specific

Fix lots of fetchgit hashes (fallout from #15469)

2016-06-03 17:17:08 +03:00

servers

nginxModules.lua: 0.10.0 -> 0.10.5

2016-06-05 12:48:06 +02:00

shells

xonsh: 0.2.7 -> 0.3.2

2016-06-04 18:05:12 +02:00

stdenv

stdenv: fix paxmark

2016-05-27 18:57:59 +02:00

test

…

tools

Merge pull request #16019 from cleverca22/master

2016-06-06 23:41:33 +02:00

top-level

glui: init at 2.36

2016-06-06 20:42:34 +02:00