Vincent Laporte 9ad12d1d8c coqPackages.graph-theory: enable for Coq 8.16		2022-09-08 18:06:35 +02:00
..
androidndk-pkgs
beam-modules	elixir_1_14: init	2022-09-05 16:56:50 -04:00
bower-modules/generic
chez-modules
compilers	terra: 1.0.5 -> 1.0.6	2022-09-07 21:31:12 -07:00
coq-modules	coqPackages.graph-theory: enable for Coq 8.16	2022-09-08 18:06:35 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded	Merge pull request #186039 from newAM/orbuculum	2022-09-04 17:16:15 +02:00
gnuradio-modules
guile-modules
haskell-modules
idris-modules
interpreters	babashka: 0.9.160 -> 0.9.162	2022-09-07 23:18:52 +00:00
java-modules
libraries	Merge pull request #188520 from GovanifY/bluray-17	2022-09-08 14:58:39 +02:00
lisp-modules
lisp-modules-new
lua-modules	luaPackages: update	2022-09-04 21:02:27 +02:00
misc	Merge pull request #188549 from panicgh/cppreference	2022-09-04 12:43:58 +02:00
mobile
nim-packages
node-packages	eask: init at 0.6.43	2022-09-07 03:21:18 +00:00
ocaml-modules	ocamlPackages.index: 1.6.0 → 1.6.1	2022-09-04 12:16:56 +02:00
octave-modules
perl-modules
pharo
php-packages	pdepend: 2.11.1 -> 2.12.0	2022-09-07 18:16:30 +00:00
python2-modules
python-modules	Merge pull request #190347 from r-ryantm/auto-update/python3.10-Eve	2022-09-08 10:19:54 -05:00
quickemu
r-modules
ruby-modules	Revert "Merge #188995: bundler: 2.3.20 -> 2.3.21"	2022-09-02 07:30:12 +02:00
scheme-modules/scheme-bytestructures
tools	Merge pull request #190256 from r-ryantm/auto-update/cargo-public-api	2022-09-08 11:19:06 -04:00
web	twitterBootstrap: 5.2.0 -> 5.2.1	2022-09-07 21:06:34 +00:00