coq-modules
|
coqPackages.ITree: enable for Coq 8.14
|
2021-12-22 19:10:10 +01:00 |
lisp-modules
|
asdf: refactor
|
2021-12-21 12:52:15 +01:00 |
nim-packages
|
buildNimPackages: fix configurePhase
|
2021-12-18 15:27:21 +00:00 |
node-packages
|
deltachat-desktop: 1.22.2 -> 1.26.0
|
2021-12-17 13:36:36 -08:00 |
ocaml-modules
|
ocamlPackages.batteries: 3.3.0 → 3.4.0
|
2021-12-23 13:09:35 +01:00 |
php-packages
|
php74Packages.psysh: 0.10.12 -> 0.11.0
|
2021-12-20 10:43:35 +00:00 |
tools
|
Merge pull request #151790 from lorenzleutgeb/gradle
|
2021-12-23 16:07:16 +00:00 |