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
|
opendkim: 2.10.3 -> 2.11.0-Beta2 (#110317)
|
2021-01-31 14:08:10 +01: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 |
php-packages
|
php.extensions.pdo_sqlsrv: 5.8.1 -> 5.9.0
|
2021-01-30 18:07:31 -05:00 |
web
|
treewide: update permanent url redirects
|
2021-01-30 21:48:57 +01:00 |