coq-modules
|
coqPackages.flocq: 3.3.1 → 3.4.2
|
2021-09-24 21:39:00 +02:00 |
interpreters
|
erlang: fix nix-env version confusion
|
2021-09-27 20:39:30 +09:00 |
misc
|
resholve: 0.6.5 -> 0.6.6, respect buildInputs
|
2021-09-27 16:01:09 +09:00 |
node-packages
|
prisma: 2.30.2 -> 3.1.1
|
2021-09-25 21:47:30 +09:00 |
ocaml-modules
|
ocamlPackages.qcheck: 0.17 → 0.18
|
2021-09-27 05:59:07 +02:00 |
python-modules
|
Merge pull request #139600 from fabaff/lupupy
|
2021-09-27 09:34:29 +02:00 |
r-modules
|
Merge pull request #139312 from jbedo/r-broken
|
2021-09-27 10:32:30 +02:00 |