Gabriel Ebner 20428cd90f Add veriT.

2015-03-31 09:14:38 +02:00

..

all-packages.nix

Add veriT.

2015-03-31 09:14:38 +02:00

emacs-packages.nix

emacs: ghc-mod: add the binary to user environment

2015-03-26 12:58:39 +00:00

go-packages.nix

Whoops, spurious dependency

2015-03-26 23:40:40 -04:00

guile-2-test.nix

…

haskell-defaults.nix

ghcjs: support for Haskell-NG

2015-03-29 03:34:04 +02:00

haskell-ng.nix

ghcjs: support for Haskell-NG

2015-03-29 03:34:04 +02:00

haskell-packages.nix

ghcjs-dom in the old package set doesn't evaluate any more.

2015-03-29 03:34:04 +02:00

lua-packages.nix

Merge pull request #6412 from olavks/lua-cjson

2015-02-26 10:01:58 +01:00

make-tarball.nix

Only test evaluation on supported platforms

2015-03-06 14:07:45 +01:00

node-packages-generated.nix

nodePackages: add a few packages, remove deprecated, regenerate, fix them

2015-02-23 13:29:50 +01:00

node-packages.json

nodePackages: add a few packages, remove deprecated, regenerate, fix them

2015-02-23 13:29:50 +01:00

node-packages.nix

nodePackages: add a few packages, remove deprecated, regenerate, fix them

2015-02-23 13:29:50 +01:00

perl-packages.nix

PerlMagick: 6.87 -> 6.89-1

2015-03-29 19:37:53 -07:00

php-packages.nix

phpPackages: add redis and composer

2015-01-24 23:13:19 +01:00

platforms.nix

Add comment explaining the rpi2 gcc flags.

2015-03-05 10:00:21 +00:00

python-packages-generated.nix

Turn more licenses into lib.licenses style

2014-11-06 00:48:16 +00:00

python-packages.json

python-html2text: add package

2015-01-26 10:36:30 +00:00

python-packages.nix

Merge pull request #7028 from kevinmarsh/enum34

2015-03-30 18:09:34 +02:00

release-cross.nix

…

release-lib.nix

Rename scrubDrv -> hydraJob and make it more effective

2015-03-20 19:46:18 +01:00

release-python.nix

Adds a new package: cherrytree - A hierarchical note taking application

2015-01-31 02:17:00 +01:00

release-small.nix

release-lib: Simplify

2015-03-20 19:37:55 +01:00

release.nix

pinentry: fix build /cc wkennington

2015-03-26 10:07:05 +01:00