nixpkgs/pkgs/development
John Wiegley bee172501d
Merge pull request #37591 from vbgl/coq-88beta1
coq: init at 8.8+beta1
2018-03-23 22:09:06 -07:00
..
arduino
beam-modules
bower-modules/generic
compilers openjdk9: 9.0.4+11 -> 9.0.4+12 2018-03-23 21:18:42 -05:00
coq-modules Merge pull request #37591 from vbgl/coq-88beta1 2018-03-23 22:09:06 -07:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic Emscripten 1.37.16 to 1.37.36 (#37291) 2018-03-18 13:34:46 +01:00
go-modules
guile-modules
haskell-modules Remove HIE package set until automation can be put in place. 2018-03-23 10:06:58 -04:00
idris-modules idrisPackages: add packages 2018-03-20 07:16:21 +01:00
interpreters erlang: Change order of commands in postPach and postInstall. 2018-03-23 10:41:42 +01:00
java-modules jogl: temporary workaround for openjdk8 2018-03-19 08:44:21 +00:00
libraries fox: 1.6.49 -> 1.6.56 2018-03-23 21:04:09 -05:00
lisp-modules
lua-modules
misc darwin: disable broken packages 2018-03-08 17:21:17 -06:00
mobile xcodeenv: publish xcarchive directory in the output store path if requested 2018-03-22 15:02:09 +01:00
node-packages nodePackages: regenerate with node2nix 1.5.3 2018-03-13 00:04:44 +01:00
ocaml-modules Merge pull request #37385 from coreyoconnor/google-drive-ocamlfuse-update 2018-03-20 00:17:43 +00:00
perl-modules Merge branch 'master' into staging 2018-03-10 20:38:13 +00:00
pharo pharo: Tighten source and simplify meta.platforms 2018-03-12 18:55:41 -04:00
pure-modules
python-modules Merge pull request #37566 from Ma27/init-face-recognition 2018-03-23 09:55:04 +01:00
qtcreator
r-modules R: fix evaluation errors 2018-03-15 21:14:29 +01:00
ruby-modules treewide: s/xlibs/xorg/g (#36889) 2018-03-13 10:16:03 +00:00
stm32/betaflight
tools waf: 2.0.4 -> 2.0.6 2018-03-23 14:53:24 -05:00
web kore: fix clang build 2018-03-20 00:00:42 +01:00