nixpkgs/pkgs/development
Peter Simons 4f28eac924 haskell-hoopl: provide an un-versioned attribute for ghc 8.4.x
This used to be a core library in previous versions of GHC, but now it no
longer is.
2018-07-01 22:03:57 +02:00
..
arduino platformio: 3.5.2 -> 3.5.3 2018-06-19 19:01:34 +02:00
beam-modules
bower-modules/generic
compilers ghc: add 8.6.1-alpha1 pre-release 2018-07-01 19:22:09 +02: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 guile-reader: init at 0.6.2 2018-06-27 15:23:20 -03:00
haskell-modules haskell-hoopl: provide an un-versioned attribute for ghc 8.4.x 2018-07-01 22:03:57 +02:00
idris-modules idrisPackages.bi: 2018-01-17 -> 2018-06-25 (#42621) 2018-06-26 22:14:17 +02:00
interpreters python37: fix openssl detection 2018-07-01 21:00:26 +01:00
java-modules jogl: reflect recent changes in opengl (#41786) 2018-06-10 17:09:19 +02:00
libraries libtorrent-rasterbar: Use Boost supporting Python 2018-07-01 19:51:21 +02: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 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 Add minimal package set for Node.js 10.x 2018-06-29 22:44:33 +02:00
ocaml-modules ocamlPackages.lambdaTerm: remove spurious dependency to camlp4 2018-06-28 07:16:49 +00:00
perl-modules [staging] perlPackages.CatalystXScriptServerStarman: fix build 2018-06-24 00:28:18 +02:00
pharo
pure-modules
python-modules Merge pull request #39981 from timokau/sage-on-nixos 2018-07-01 07:37:42 +00:00
r-modules Merge pull request #42290 from mnacamura/r-igraph-darwin 2018-06-20 19:52:36 +02:00
ruby-modules Adding config for the tiny_tds gem (#42406) 2018-06-27 11:56:18 +01:00
tools checkstyle: 8.10.1 -> 8.11 2018-07-01 16:39:22 +02:00
web nodePackages: regenerate with node2nix 1.6.0 2018-06-28 23:26:44 +02:00