Vincent Laporte 42bf99ef44 coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6 ...

by adding `findlib` as a build input.

Also clean `default.nix` a little bit.

2017-01-25 13:06:11 +00:00

..

arduino

teensyduino: init at 1.31 (#20807)

2016-12-02 11:31:01 +01:00

beam-modules

hexRegistrySnapshot: d58a937 -> e5e494a

2016-11-30 12:16:21 +01:00

bower-modules/generic

…

compilers

Merge pull request #22040 from NeQuissimus/zulu

2017-01-25 12:31:29 +00:00

coq-modules

coqPackages.{ssreflect,mathcomp}: fix build with Coq-8.6

2017-01-25 13:06:11 +00:00

dotnet-modules/patches

…

eclipse/ecj

…

em-modules/generic

…

go-modules

buildGoPackage: reduce the default meta.platforms

2016-12-14 10:26:20 +01:00

guile-modules

…

haskell-modules

haskell-brick: fix reference to vty

2017-01-24 23:14:02 +01:00

idris-modules

idrisPackages.httpclient: init

2016-12-20 00:28:23 +01:00

interpreters

Merge pull request #21416 from cstrahan/mesos-1.1.0

2017-01-21 19:05:18 -05:00

libraries

t1lib: add a note about CVE fixes

2017-01-25 13:53:55 +01:00

lisp-modules

…

lua-modules

…

misc

loc: 0.3.3 -> 0.3.4

2016-12-08 09:59:47 -05:00

mobile

titaniumenv: add 6.0 SDK + bump kitchensink testcase

2017-01-24 13:22:16 +01:00

node-packages

nodePackages: upgrade node2nix to version 1.1.1 and regenerate the package set

2017-01-20 22:05:44 +01:00

ocaml-modules

Merge pull request #22101 from zimbatm/no-md5

2017-01-25 09:07:48 +01:00

perl-modules

perl-Compress-Raw-Zlib: try without testing for now

2017-01-08 14:31:55 +01:00

pharo

…

pure-modules

…

python-modules

pythonPackages.pytest_30: 3.0.5 -> 3.0.6

2017-01-24 22:13:40 +01:00

qtcreator

qtcreator: 4.1.0 -> 4.2.0

2016-12-29 22:32:23 +03:00

r-modules

r-modules: fix snpStats package

2017-01-06 21:07:25 +01:00

ruby-modules

bundler: 1.13.6 -> 1.13.7

2017-01-09 10:13:38 -08:00

tools

Merge pull request #22101 from zimbatm/no-md5

2017-01-25 09:07:48 +01:00

web

nodePackages: upgrade node2nix to version 1.1.1 and regenerate the package set

2017-01-20 22:05:44 +01:00