compilers
|
ocamlPackages_4_12.ocaml: alpha3 -> beta1
|
2021-01-21 21:59:09 +01:00 |
coq-modules
|
coqPackages.math-classes: 8.11.0 -> 8.12.0
|
2021-01-21 16:39:59 +01:00 |
idris-modules
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |
interpreters
|
treewide: editorconfig fixes
|
2021-01-21 13:29:54 +10:00 |
libraries
|
pkgs/development/libraries: stdenv.lib -> lib
|
2021-01-21 19:11:02 -08:00 |
misc
|
treewide: editorconfig fixes
|
2021-01-21 09:30:52 +10:00 |
mobile
|
treewide: editorconfig fixes
|
2021-01-21 13:29:54 +10:00 |
node-packages
|
treewide: editorconfig fixes
|
2021-01-21 09:30:52 +10:00 |
pure-modules
|
treewide: editorconfig fixes
|
2021-01-20 09:11:11 +10:00 |
web
|
Merge pull request #96140 from matthewbauer/add-cog
|
2021-01-20 17:42:54 -06:00 |