Vincent Laporte 2d123c3c4b coqPackages.coqeal: 1.1.0 → 1.1.1		2022-07-13 09:20:44 +02:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #181051 from jiegec/mono	2022-07-12 18:16:39 -07:00
coq-modules	coqPackages.coqeal: 1.1.0 → 1.1.1	2022-07-13 09:20:44 +02:00
dhall-modules
dotnet-modules
em-modules/generic
embedded
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules	haskellPackages.postgrest: mark as broken	2022-07-13 00:09:30 +02:00
idris-modules
interpreters
java-modules
libraries	Merge pull request #181239 from jiegec/libressl	2022-07-12 22:31:51 -07:00
lisp-modules
lisp-modules-new
lua-modules
misc
mobile
nim-packages
node-packages
ocaml-modules
octave-modules
perl-modules
pharo
php-packages
python-modules	python310Packages.angr: 9.2.9 -> 9.2.10	2022-07-12 23:06:11 +02:00
python2-modules
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	framac: 24.0 (Chromium) → 25.0 (Manganese)	2022-07-13 00:18:06 +02:00
web