whonore d4f814d956 dafny: move to separate file		2023-04-29 19:11:12 -04:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	buildDotnetModule: add support for dotnet tools	2023-04-29 18:54:04 -04:00
coq-modules
dhall-modules
dotnet-modules	dafny: move to separate file	2023-04-29 19:11:12 -04:00
em-modules/generic
embedded	nmrpflash: 0.9.19 -> 0.9.20	2023-04-29 07:08:25 +00:00
gnuradio-modules
guile-modules
haskell-modules
idris-modules
interpreters	Merge pull request #120220 from grahamc/python-kvetch-on-mismatch	2023-04-28 18:47:17 +03:00
java-modules
libraries	httplib: build with cmake + openssl	2023-04-29 11:33:59 +03:00
lisp-modules
lisp-modules-new-obsolete
lisp-modules-obsolete
lua-modules
misc
mobile
nim-packages
node-packages
ocaml-modules
octave-modules
perl-modules
pharo
php-packages	php80Packages.psysh: 0.11.10 -> 0.11.16	2023-04-29 04:28:29 +00:00
python2-modules
python-modules	Merge pull request #228701 from fabaff/phonenumbers-bump	2023-04-29 07:27:21 -05:00
quickemu
r-modules
rocm-modules/update-script
ruby-modules
scheme-modules/scheme-bytestructures
skaware-packages
tools	buildDotnetModule: add support for dotnet tools	2023-04-29 18:54:04 -04:00
web