coq-modules
|
coq-elpi: clarify license
|
2021-05-28 03:15:23 +02:00 |
interpreters
|
buildPythonPackage: add support for conda
|
2021-05-28 14:31:40 +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
|
electron_10: 10.4.5 -> 10.4.7
|
2021-05-28 19:20:08 +00:00 |
web
|
cypress: 7.3.0 -> 7.4.0
|
2021-05-26 09:15:31 +02:00 |