nixpkgs/pkgs/development
Anatolii Prylutskyi b6dad2afe6
moq: init at 0.2.7
2022-08-15 21:06:49 +03:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers go: init 1.17 bootstrap 2022-08-08 07:43:02 +10: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 openfpgaloader: 0.8.0 -> 0.9.0 2022-07-29 14:18:39 +00:00
gnuradio-modules
guile-modules
haskell-modules haskellPackages.reflex-libtelnet: restrict to platforms.linux 2022-08-06 14:39:34 +02:00
idris-modules
interpreters Merge pull request #185160 from helsinki-systems/upd/php 2022-08-06 17:18:48 +02:00
java-modules
libraries Merge pull request #185603 from wegank/exiv2-homepage 2022-08-08 00:22:26 +02:00
lisp-modules
lisp-modules-new
lua-modules luaPackages.luaunit: init at 3.4-1 2022-08-06 11:28:05 +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 #185365 from r-ryantm/auto-update/python3.10-Wand 2022-08-08 10:50:29 +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 moq: init at 0.2.7 2022-08-15 21:06:49 +03:00
web grails: 5.2.1 -> 5.2.2 2022-08-05 14:12:31 +02:00