nixpkgs/pkgs/development
Silvan Mosberger 4b9985c668
Merge pull request #42861 from Infinisil/fix/idris-forks
Idris packages clean ups and updates
2018-07-08 23:24:11 +02:00
..
arduino platformio: 3.5.2 -> 3.5.3 2018-06-19 19:01:34 +02:00
beam-modules
bower-modules/generic
compilers remove redundant patch from GHC 8.6.1 for darwin 2018-07-06 12:00:09 -07:00
coq-modules coqPackages.equations: enable for Coq 8.8 2018-07-08 11:13:27 +00:00
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules guile-reader: init at 0.6.2 2018-06-27 15:23:20 -03:00
haskell-modules Drop obsolete ghc-8.4.x overrides for arrows, flexible-defaults, and lambdabot-core. 2018-07-04 19:14:18 +02:00
idris-modules Merge pull request #42861 from Infinisil/fix/idris-forks 2018-07-08 23:24:11 +02:00
interpreters Add type_getattro.patch because it is no longer downloadable (#43130) 2018-07-06 23:39:39 +00:00
java-modules
libraries Merge pull request #42954 from dywedir/libaom 2018-07-08 01:10:05 +02:00
lisp-modules
lua-modules
misc treewide: http -> https sources (#42676) 2018-06-28 20:43:35 +02:00
mobile treewide: http -> https sources (#42676) 2018-06-28 20:43:35 +02:00
node-packages nodePackages_10_x.pnpm: init at 2.9.0 2018-07-05 22:52:38 +08:00
ocaml-modules cpdf: add license (#43229) 2018-07-08 22:11:19 +01:00
perl-modules lwp-protocol-https: honour NIX_SSL_CERT_FILE 2018-06-29 16:29:22 -04:00
pharo treewide: remove callPackage_i686 2018-07-05 14:04:52 -04:00
pure-modules
python-modules klaus: fix hash 2018-07-08 21:40:07 +02:00
r-modules R: fix evaluation errors 2018-07-07 12:10:46 +02:00
ruby-modules bundler: 1.16.1 -> 1.16.2 2018-07-02 11:19:11 +00:00
tools Merge pull request #43214 from r-ryantm/auto-update/babeltrace 2018-07-08 21:09:06 +02:00
web nodejs-9_x: Package is EOL 2018-07-08 13:06:08 +08:00