compilers
|
ghdl: use finalAttrs idiom instead of rec
|
2023-09-23 15:47:21 +02:00 |
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 |
java-modules
|
jna: add macos platforms
|
2023-09-18 21:58:00 +02:00 |
mobile
|
maestro: 1.32.0 -> 1.33.0
|
2023-09-21 16:35:22 +05:30 |
tools
|
cargo-machete: 0.5.0 -> 0.6.0
|
2023-09-23 10:06:58 -04:00 |