nixpkgs/pkgs/development
Alexey Shmalko 2801679e4b
Merge pull request #51764 from Taneb/metamath
Metamath: init at 0.167
2018-12-09 13:16:20 +02:00
..
arduino
beam-modules
bower-modules/generic
compilers Merge master into staging-next 2018-12-08 12:40:13 +01:00
coq-modules coqPackages.math-classes: 1.0.7 -> 8.8.1 2018-12-03 08:29:46 +00:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules go_1_11: fix cross compilation 2018-11-24 10:36:57 +00:00
guile-modules Treewide: use HTTPS on GNU domains 2018-12-02 15:51:59 +01:00
haskell-modules Merge master into staging-next 2018-12-07 15:22:35 +01:00
idris-modules
interpreters metamath: init at 0.167 2018-12-09 10:18:25 +00:00
java-modules
libraries Merge pull request #51762 from r-ryantm/auto-update/Vc 2018-12-09 11:00:17 +00:00
lisp-modules Add cl-jpeg, cl-pdf & cl-typesetting, no extra external deps 2018-12-05 07:01:40 +01:00
lua-modules
misc systems/parse.nix: support eabihf 2018-12-02 19:49:36 -06:00
mobile androidsdk: Re-add emulator that was broken out of the sdk-tools package. 2018-11-12 13:06:22 -04:00
node-packages Merge pull request #51670 from Mic92/quassel-webserver 2018-12-08 16:26:45 +00:00
ocaml-modules ocamlPackages.camlimages: 5.0.0 -> 5.0.1 2018-12-07 04:22:10 +00:00
perl-modules perlPackages: remove old broken packets 2018-11-27 08:11:10 +00:00
pharo
pure-modules
python-modules pelican: 3.7.1 -> 4.0.1 2018-12-08 17:33:14 +01:00
r-modules Merge pull request #51581 from joachifm/rWrapper-local-runCommand 2018-12-07 09:17:44 +00:00
ruby-modules Merge master into staging-next 2018-12-08 12:40:13 +01:00
tools premake3: use premake3 -> premake 2018-12-08 14:47:13 -06:00
web nodejs.updateScript: fix evaluation 2018-12-03 00:49:37 +00:00