compilers
|
erg: 0.6.20 -> 0.6.21
|
2023-09-24 00:53:56 -04:00 |
coq-modules
|
coqPackages.itauto: enable for Coq 8.18
|
2023-09-21 11:02:55 +02:00 |
embedded
|
arduino-cli: 0.33.0 -> 0.34.2
|
2023-09-24 10:30:00 +02:00 |
guile-modules
|
guile-ssh: clean up the package (#256541)
|
2023-09-21 22:52:02 +02:00 |
interpreters
|
php83: 8.3.0RC1 -> 8.3.0RC2
|
2023-09-24 12:38:43 +02:00 |
mobile
|
maestro: 1.32.0 -> 1.33.0
|
2023-09-21 16:35:22 +05:30 |
php-packages
|
php.packages.castor: Build from source
|
2023-09-24 18:26:04 +02:00 |
tools
|
Merge pull request #257094 from figsoda/fx
|
2023-09-25 02:07:49 +04:00 |
web
|
postman: add openssl dependency
|
2023-09-24 23:21:55 +02:00 |