coq-modules
|
coqPackages.itauto: enable for Coq 8.18
|
2023-09-21 11:02:55 +02:00 |
guile-modules
|
guile-ssh: clean up the package (#256541)
|
2023-09-21 22:52:02 +02:00 |
interpreters
|
wasmtime: 12.0.1 -> 13.0.0
|
2023-09-21 23:40:36 +02:00 |
libraries
|
Merge pull request #256308 from aaronjheng/protobuf
|
2023-09-22 01:05:57 +02:00 |
mobile
|
maestro: 1.32.0 -> 1.33.0
|
2023-09-21 16:35:22 +05:30 |
python-modules
|
python310Packages.cymem: add format
|
2023-09-22 08:49:05 +02:00 |
tools
|
Merge pull request #256502 from figsoda/shuttle
|
2023-09-21 19:08:34 -04:00 |