nixpkgs/pkgs/development
2022-08-10 21:58:07 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers Merge pull request #182187 from adisbladis/newlib-nano-cc 2022-08-08 22:07:57 +08:00
coq-modules coqPackages_8_13.smtcoq: build cvc4 with gcc10 2022-08-02 21:50:58 +02:00
dhall-modules
dotnet-modules pkgs.boogie: 2.4.1 -> 2.15.7 2022-08-02 10:24:21 -07:00
em-modules/generic
embedded
gnuradio-modules
guile-modules
haskell-modules haskellPackages.hb3sum: disable on aarch64-linux because of dep 2022-08-09 16:05:10 +09:00
idris-modules
interpreters Merge pull request #183037 from mweinelt/python3.11.0b5 2022-08-08 23:52:28 +02:00
java-modules
libraries webkitgtk: 2.36.5 -> 2.36.6 2022-08-10 21:58:07 +02:00
lisp-modules
lisp-modules-new
lua-modules luaPackages.lua-subprocess: init at scm-1 2022-08-09 10:22:11 +02:00
misc resholve: 0.8.0 -> 0.8.1; update readme 2022-08-02 07:36:20 +02:00
mobile
nim-packages nimPackages.flatty: 0.2.3 -> 0.3.4 2022-08-07 13:56:04 -05:00
node-packages nodePackages: pin webassemblyjs to 1.11.1 2022-08-04 06:27:34 +00:00
ocaml-modules Merge pull request #182930 from vbgl/ocaml-biocaml-clean 2022-07-31 18:08:13 -03:00
octave-modules
perl-modules
pharo
php-packages Merge pull request #184478 from r-ryantm/auto-update/php-phing 2022-08-01 09:29:26 +02:00
python2-modules
python-modules Merge pull request #185718 from anthonyroussel/aiohttp 2022-08-09 08:43:17 +02:00
quickemu quickemu: 3.16 -> 4.0 2022-08-01 20:09:25 +00:00
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools ameba: 0.14.3 -> 1.0.1 2022-08-09 08:41:53 +08:00
web grails: 5.2.1 -> 5.2.2 2022-08-05 14:12:31 +02:00