coq-modules
|
coq-elpi: clarify license
|
2021-05-28 03:15:23 +02:00 |
interpreters
|
babashka: 0.4.1 -> 0.4.3 (#124325)
|
2021-05-30 04:26:37 +02:00 |
lisp-modules
|
fix editorconfig
|
2021-05-25 19:21:51 +02:00 |
node-packages
|
markdownlint-cli: init at 0.27.1
|
2021-05-28 23:28:11 +02:00 |
ocaml-modules
|
elpi: 1.13.1 -> 1.13.5
|
2021-05-28 03:15:23 +02:00 |
python-modules
|
python3Packages.pyialarm: 1.5 -> 1.7
|
2021-05-29 16:17:36 -07:00 |
tools
|
godot: 3.2.2 -> 3.3.2 (#123126)
|
2021-05-30 04:17:22 +02:00 |
web
|
cypress: 7.3.0 -> 7.4.0
|
2021-05-26 09:15:31 +02:00 |