coq-modules
|
coqPackages.coq-elpi: disable OCaml warnings
|
2022-10-12 20:38:44 +02:00 |
embedded
|
Merge pull request #195517 from wegank/avrdude-darwin
|
2022-10-11 14:40:39 +02:00 |
interpreters
|
update-python-libraries: enable nix command
|
2022-10-12 11:38:55 +00:00 |
libraries
|
Merge pull request #193484 from wegank/gpl1-eol
|
2022-10-12 21:04:31 +02:00 |
lua-modules
|
Merge pull request #195431 from figsoda/vusted
|
2022-10-11 10:02:31 +02:00 |
node-packages
|
nodePackages.pnpm: 7.13.2 -> 7.13.3
|
2022-10-09 09:37:23 -07:00 |
ocaml-modules
|
ocamlPackages.ff: 0.4.0 → 0.6.2
|
2022-10-12 19:58:38 +02:00 |
python-modules
|
Merge pull request #193484 from wegank/gpl1-eol
|
2022-10-12 21:04:31 +02:00 |
tools
|
jenkins: 2.361.1 -> 2.361.2 (#195565)
|
2022-10-12 09:27:08 -04:00 |
web
|
flyctl: 0.0.407 -> 0.0.409
|
2022-10-11 19:47:10 +00:00 |