compilers
|
bluespec: 2023.01 -> 2024.01
|
2024-03-31 18:12:12 -05:00 |
coq-modules
|
Revert "stdenv: add meta.repository field"
|
2024-03-30 17:19:21 +03:00 |
haskell-modules
|
haskellPackages.idris: fix
|
2024-03-31 12:00:23 +02:00 |
misc
|
brev-cli: 0.6.277 -> 0.6.279
|
2024-03-29 14:26:36 +00:00 |
php-packages
|
phpPackages.phpstan: 1.10.65 -> 1.10.66
|
2024-03-29 10:18:59 +01:00 |