coq-modules
|
coq-elpi: clarify license
|
2021-05-28 03:15:23 +02:00 |
interpreters
|
Merge pull request #124535 from jlesquembre/clj
|
2021-05-27 03:07:35 +02:00 |
libraries
|
mpich: 3.4.1 -> 3.4.2
|
2021-05-29 21:31:32 +02:00 |
lisp-modules
|
fix editorconfig
|
2021-05-25 19:21:51 +02:00 |
node-packages
|
flood: set 'meta.mainProgram'
|
2021-05-23 14:12:33 +02:00 |
ocaml-modules
|
elpi: 1.13.1 -> 1.13.5
|
2021-05-28 03:15:23 +02:00 |
php-packages
|
phpPackages.composer: 2.0.13 -> 2.0.14
|
2021-05-24 16:47:17 +02:00 |
tools
|
cargo-msrv: 0.5.0 -> 0.6.0
|
2021-05-28 02:05:33 +00:00 |
web
|
cypress: 7.3.0 -> 7.4.0
|
2021-05-26 09:15:31 +02:00 |