nixpkgs/pkgs/development
Vincent Laporte 773bdf6998 why3: 1.3.3 → 1.4.0
framac: 22.0 → 23.0-rc1
2021-06-27 09:03:12 +02:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
chez-modules
compilers Merge pull request #128139 from misuzu/llvm12_armv7l 2021-06-26 21:57:05 +02:00
coq-modules
dhall-modules
dotnet-modules
em-modules/generic
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules haskellPackages.stripeapi: Mark broken because of consistent build timeout 2021-06-22 23:24:48 +02:00
idris-modules
interpreters php: Run nixpkgs-fmt on all php related files 2021-06-26 20:07:56 +02:00
java-modules
libraries Merge pull request #128240 from hjones2199/indi191 2021-06-26 21:58:22 +02:00
lisp-modules
lua-modules
misc
mobile
node-packages vscode-extensions.vadimcn.vscode-lldb: 1.6.4 -> 1.6.5 2021-06-25 14:50:10 +08:00
ocaml-modules ocamlPackages.ocaml-migrate-parsetree: 2.1.0 → 2.2.0 2021-06-26 17:07:42 +02:00
octave-modules octavePackages.nan: 3.5.2 -> 3.5.3 (#127757) 2021-06-22 15:45:40 +02:00
perl-modules
pharo
php-packages php: Run nixpkgs-fmt on all php related files 2021-06-26 20:07:56 +02:00
pure-modules
python-modules Merge pull request #123378 from eduardosm/sip_6 2021-06-27 01:41:19 -03:00
r-modules Merge pull request #121819 from Jake-Gillberg/bump-r-cran 2021-06-24 16:41:01 +02:00
ruby-modules
scheme-modules/scheme-bytestructures
tools why3: 1.3.3 → 1.4.0 2021-06-27 09:03:12 +02:00
web Merge pull request #128027 from nessdoor/nixpkgs/protege 2021-06-26 21:57:59 +02:00