John Wiegley 814961f37a coqPackages.tlc: new expression

2014-10-11 13:29:45 -05:00

..

applications

xplanet: fix giflib update

2014-10-11 19:53:18 +02:00

build-support

fix fetchurl

2014-10-05 19:23:27 +02:00

data

poppler_data: update from 0.4.6 to 0.4.7

2014-10-07 23:22:09 +02:00

desktops

Merge pull request #4457 from DamienCassou/gpaste-3.12.3.1

2014-10-10 15:39:55 +02:00

development

coqPackages.tlc: new expression

2014-10-11 13:29:45 -05:00

games

Fix a silly mistake in the chocolateDoom packages, and bump master

2014-10-08 21:43:26 +01:00

misc

cupsBjnp: update from 1.2.1 to 1.2.2, potentially fixes CVE-2014-2856

2014-10-06 22:02:40 +02:00

os-specific

Merge pull request #4402 from NixOS/udisks-1.0.5

2014-10-11 14:06:16 +02:00

servers

mpd: fix URL

2014-10-11 14:32:51 +01:00

shells

zsh: update from 5.0.6 to 5.0.7

2014-10-09 09:43:33 +02:00

stdenv

Eliminate some optionals/optionalAttrs calls on the hot path

2014-10-05 01:59:24 +02:00

test

…

tools

remove pythonPackages.ssl reference

2014-10-11 20:29:17 +02:00

top-level

coqPackages.tlc: new expression

2014-10-11 13:29:45 -05:00