coq-modules
|
coqPackages.corn: 8.8.1 → 8.12.0
|
2021-01-28 10:28:51 +01:00 |
interpreters
|
metamath: 0.194 -> 0.196
|
2021-01-30 18:11:19 +00:00 |
libraries
|
gtk4: init at 4.0.2
|
2021-01-31 22:22:14 +01:00 |
lisp-modules
|
treewide: stdenv.lib -> lib
|
2021-01-27 13:08:40 +07:00 |
mobile
|
treewide: xdg_utils -> xdg-utils
|
2021-02-01 15:05:09 +07:00 |
node-packages
|
treewide: update permanent url redirects
|
2021-01-30 21:48:57 +01:00 |
ocaml-modules
|
ocamlPackages.ppx_tools: use Dune 2
|
2021-01-31 14:16:02 +01:00 |
python-modules
|
treewide: xdg_utils -> xdg-utils
|
2021-02-01 15:05:09 +07:00 |
tools
|
Merge pull request #111476 from marsam/update-tflint
|
2021-01-31 20:08:33 +01:00 |
web
|
treewide: update permanent url redirects
|
2021-01-30 21:48:57 +01:00 |