Manuel Bärenz a773d882d1 agdaPackages.standard-library: 1.5 -> 1.6 (#120180) ... * agdaPackages.standard-library: 1.5 -> 1.6 * agdaPackages.functional-linear-algebra: 0.2 -> 0.3 * agdaPackages.agda-categories: 0.1.5 -> 0.1.6		2021-04-23 12:06:31 -04:00
..
androidndk-pkgs
arduino
beam-modules	beamPackages.hex: 0.21.1 -> 0.21.2 (#120178)	2021-04-23 14:14:33 +09:00
bower-modules/generic
chez-modules
compilers	mrustc: init at 0.9	2021-04-23 10:19:37 +00:00
coq-modules
dhall-modules
dotnet-modules
em-modules/generic
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters
java-modules
libraries	agdaPackages.standard-library: 1.5 -> 1.6 (#120180)	2021-04-23 12:06:31 -04:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules
octave-modules
perl-modules
pharo
php-packages
pure-modules
python-modules	Merge pull request #120262 from fabaff/openerz-api	2021-04-23 10:02:10 +02:00
r-modules
ruby-modules
tools	cargo-make: fix darwin build (#120312)	2021-04-23 17:34:11 +09:00
web