nixpkgs/pkgs/development
2022-09-10 17:09:14 +08:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers Merge pull request #190300 from wahjava/update-sagittarius-scheme 2022-09-10 01:14:30 +02:00
coq-modules coqPackages.Verdi: enable for Coq 8.16 2022-09-08 18:07:09 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
guile-modules
haskell-modules
idris-modules
interpreters Merge pull request #190205 from mweinelt/cpython-38-37 2022-09-08 18:25:32 +02:00
java-modules
libraries Merge pull request #181298 from veprbl/pr/range-v3_0_12_0 2022-09-09 17:28:03 -04:00
lisp-modules
lisp-modules-new
lua-modules
misc
mobile
nim-packages
node-packages
ocaml-modules ocamlPackages.bap: 2.4.0 -> 2.5.0 2022-09-09 07:55:29 +02:00
octave-modules
perl-modules
pharo
php-packages
python2-modules
python-modules Merge pull request #190275 from fabaff/millheater-bump 2022-09-10 10:25:07 +02:00
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools go-task: 3.14.1 -> 3.15.2 2022-09-10 17:09:14 +08:00
web valum: 0.3.17 -> 0.3.18 2022-09-09 03:32:56 +00:00