coq-modules
|
coqPackages.ITree: enable for Coq 8.14
|
2021-12-22 19:10:10 +01:00 |
libraries
|
utf8proc: add myself to maintainer list
|
2021-12-22 15:03:23 +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.parany: 12.1.1 -> 12.1.2
|
2021-12-22 10:30:50 +01:00 |
php-packages
|
php74Packages.psysh: 0.10.12 -> 0.11.0
|
2021-12-20 10:43:35 +00:00 |
tools
|
gitlab-runner: 14.5.2 -> 14.6.0 (#151600)
|
2021-12-22 16:49:03 +01:00 |