coq-modules
|
coqPackages.ITree: enable for Coq 8.14
|
2021-12-22 19:10:10 +01:00 |
libraries
|
Merge pull request #150767 from Flakebi/rocm
|
2021-12-22 23:35:22 +00: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 |
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 |
python-modules
|
Merge pull request #150004 from VergeDX/mariadb
|
2021-12-23 09:28:44 +01:00 |
tools
|
gitlab-runner: 14.5.2 -> 14.6.0
|
2021-12-23 12:35:24 +01:00 |