nixpkgs/pkgs/development
John Ericson 2c08c768ed
Merge pull request #42037 from obsidiansystems/gmp-fixes
Fixes for GMP + prebuilt mobile
2018-06-14 16:13:47 -04:00
..
arduino platformio: add git to chroot so it is usable by platformio command 2018-05-05 02:41:10 -04:00
beam-modules
bower-modules/generic
compilers Merge pull request #42037 from obsidiansystems/gmp-fixes 2018-06-14 16:13:47 -04:00
coq-modules coqPackages.contribs.aac-tactics: enable for Coq 8.7 and 8.8 (#41351) 2018-06-01 19:31:02 +02:00
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules tree-wide: platforms = platforms.gnu; -> platforms = gnu ++ linux 2018-04-30 18:08:48 -05:00
haskell-modules Merge pull request #41932 from obsidiansystems/fix-setup-depends 2018-06-13 11:40:49 -04:00
idris-modules treewide: use appendToName where appropriate 2018-05-25 15:48:31 -05:00
interpreters joker: 0.9.2 -> 0.9.3 (#41577) 2018-06-06 22:13:00 +02:00
java-modules jogl: reflect recent changes in opengl (#41786) 2018-06-10 17:09:19 +02:00
libraries Merge pull request #42037 from obsidiansystems/gmp-fixes 2018-06-14 16:13:47 -04:00
lisp-modules lispPackages: drop pgloader that leads to a circular depedency 2018-05-30 23:42:33 +02:00
lua-modules lua packages: add init.lua to modules search path 2018-05-24 13:43:15 +00:00
misc avrgcc: 7.3.0 -> 8.1.0 2018-05-07 05:59:21 -07:00
mobile androidndk: fixup asm linking 2018-06-13 20:31:33 -04:00
node-packages nodePackages_8_x: Add nodejs (npm) to wrapper 2018-06-06 15:54:24 +08:00
ocaml-modules Merge pull request #41591 from vbgl/opaline 2018-06-09 01:34:02 +02:00
perl-modules perlPackages.DBDSQLite: 1.55_07 -> 1.58 (please ignore it) 2018-06-08 21:54:37 +00:00
pharo
pure-modules
python-modules Merge pull request #40395 from pandaman64/quantum 2018-06-14 10:50:06 +02:00
r-modules rPackages.mgcv: fix darwin build 2018-06-07 00:00:42 +02:00
ruby-modules solargraph: 0.21.1 -> 0.22.0 (#41743) 2018-06-09 12:52:40 +01:00
tools yq: 2.5.0 -> 2.6.0 (#41926) 2018-06-13 18:05:40 +02:00
web woff2: supports darwin 2018-05-31 12:34:15 -04:00