3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/development
John Wiegley 79aa720020 Merge pull request #30708 from maximedenes/fix-quickchick
coqPackages.QuickChick: remove support for coq 8.7
2017-10-26 10:18:53 -07:00
..
arduino
beam-modules Revert "Merge branch 'improved-make-overridable' of git://github.com/ElvishJerricco/nixpkgs" 2017-09-29 09:11:26 -04:00
bower-modules/generic
compilers Merge pull request #30820 from adisbladis/go_1_9_2 2017-10-26 10:08:19 -04:00
coq-modules Merge pull request #30708 from maximedenes/fix-quickchick 2017-10-26 10:18:53 -07:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules go: update nonfatal build error list 2017-09-28 10:28:20 +00:00
guile-modules Merge branch 'master' into staging 2017-10-02 00:22:12 +00:00
haskell-modules haskell-packages: fix all-cabal-hashes component lookup 2017-10-24 09:43:29 -04:00
idris-modules idrisPackages.lightyear: 2016-08-01 -> 2017-09-10 2017-10-19 02:03:36 +11:00
interpreters erlang: fix ssl on darwin 2017-10-14 12:36:15 +02:00
java-modules
libraries wlc: cleanup 2017-10-25 19:29:43 +03:00
lisp-modules lispPackages.cl-protobufs: init at 20170403-git 2017-09-27 09:07:26 -07:00
lua-modules
misc rust: update cargo builder to fetch registry dynamically 2017-10-23 00:30:47 +01:00
mobile
node-packages nodePackages.web-ext: init at 2.2.2 2017-10-23 11:05:38 +01:00
ocaml-modules ocamlPackages.ocplib-endian: 0.8 -> 1.0 2017-10-26 00:38:55 +00:00
perl-modules
pharo
pure-modules Merge remote-tracking branch 'upstream/staging' into deps-reorg 2017-09-28 12:32:57 -04:00
python-modules Merge pull request #30780 from veprbl/rootpy_1.0.1 2017-10-25 21:09:25 +01:00
qtcreator qtbase: Make some output references more explicit 2017-10-24 23:48:49 +03:00
r-modules r-modules: Fix a number of popular R packages 2017-10-21 11:29:21 +01:00
ruby-modules Merge remote-tracking branch 'upstream/staging' into deps-reorg 2017-09-28 12:32:57 -04:00
tools selendroid: 0.11.0 -> 0.17.0 2017-10-26 17:56:16 +02:00
web buildNodePackage: fix issue with impure version handling (#30577) 2017-10-22 16:45:16 +02:00