nixpkgs/pkgs/development
Vincent Laporte 0079deac1f coqPackages.stdpp: 1.7.0 → 1.8.0
coqPackages.iris: 3.6.0 → 4.0.0
2022-08-27 08:54:26 +02:00
..
androidndk-pkgs
beam-modules Merge pull request #188182 from ehamberg/fix-redbug-on-opt-25 2022-08-25 21:08:54 -03:00
bower-modules/generic
chez-modules
compilers Merge pull request #174401 from r-ryantm/auto-update/aspectj 2022-08-26 09:32:33 +02:00
coq-modules coqPackages.stdpp: 1.7.0 → 1.8.0 2022-08-27 08:54:26 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded blackmagic: 2022-04-16 -> 1.8.2 2022-08-24 12:43:08 +02:00
gnuradio-modules
guile-modules
haskell-modules haskell.lib.makePackageSet: all-cabal-hashes can be a directory (#188203) 2022-08-24 20:57:52 -05:00
idris-modules
interpreters Merge pull request #188095 from ereslibre/bump-wasmtime-0-40 2022-08-25 22:34:08 +02:00
java-modules
libraries Merge pull request #172786 from danielfullmer/cudnn-src 2022-08-26 18:35:01 -07:00
lisp-modules
lisp-modules-new
lua-modules
misc
mobile
nim-packages
node-packages nodePackages.carto: init at 1.2.0 2022-08-23 15:32:01 +02:00
ocaml-modules Merge pull request #180725 from ulrikstrid/ulrikstrid--pbkdf-1_2_0 2022-08-26 09:41:19 -03:00
octave-modules
perl-modules
pharo
php-packages Merge pull request #187662 from r-ryantm/auto-update/php-composer 2022-08-22 07:40:57 +02:00
python2-modules
python-modules Merge pull request #188438 from fabaff/mdformat-bump 2022-08-27 00:33:57 -05:00
quickemu
r-modules rPackages.s2: fix openssl linking 2022-08-22 11:41:09 +10:00
ruby-modules
scheme-modules/scheme-bytestructures
tools millet: 0.3.2 -> 0.3.5 2022-08-27 04:20:00 +00:00
web nodejs-18_x: 18.7.0 -> 18.8.0 2022-08-25 04:20:00 +00:00