nixpkgs/pkgs/development
Nick Hu 97538a9a55
Merge pull request #95059 from alexarice/agda-generic
agdaPackages.generic: init at v0.1
2020-08-12 21:49:11 +01:00
..
androidndk-pkgs
arduino buildGoModule packages: set doCheck = false 2020-08-10 16:02:30 +10:00
beam-modules
bower-modules/generic
chez-modules
compilers Merge pull request #95151 from yaroot/zulu 2020-08-11 11:49:15 -04:00
coq-modules coq-elpi: 1.4.1 -> 1.5.1 2020-08-11 13:49:51 +02:00
dhall-modules
dotnet-modules
em-modules/generic
go-modules buildGoModule: change doCheck default to true 2020-08-10 16:01:03 +10:00
go-packages
guile-modules
haskell-modules dconf2nix: init at 0.5.0 2020-08-09 17:58:27 +02:00
idris-modules
interpreters evcxr: 0.5.2 -> 0.5.3 2020-08-11 22:54:26 +02:00
java-modules
libraries Merge pull request #95059 from alexarice/agda-generic 2020-08-12 21:49:11 +01:00
lisp-modules Merge pull request #94996 from zowoq/darcs-context 2020-08-10 04:23:35 +00:00
lua-modules Merge #94790: luajit*: bugfix updates 2020-08-11 22:34:22 +02:00
misc
mobile androidenv.build-tools: add libc++ to enable buildToolsVersion 29.0.3 2020-08-01 16:53:51 +02:00
node-packages mirakurun: init at 3.3.0 2020-08-10 23:38:52 +09:00
ocaml-modules ocamlPackages.prof_spacetime: init at 0.3.0 2020-08-12 14:01:44 +02:00
perl-modules perlPackages.CryptOpenPGP: init at 1.12 2020-07-24 16:12:45 +02:00
pharo
pure-modules
python-modules python.pkgs.construct: 2.9.45 -> 2.10.56 (#95189) 2020-08-12 18:58:45 +02:00
r-modules Merge pull request #91288 from rnhmjoj/zeromq 2020-07-26 17:37:10 +02:00
ruby-modules
tools Merge pull request #95247 from zowoq/deletevendor-check 2020-08-12 22:09:15 +02:00
web nodejs-14_x: 14.7.0 -> 14.8.0 2020-08-12 04:20:00 +00:00