coq-modules
|
coqPackages_8_19.mathcomp-real-closed
|
2024-01-26 19:35:30 +01:00 |
haskell-modules
|
haskell.compiler.ghc96: 9.6.3 -> 9.6.4
|
2024-01-23 21:05:01 +01:00 |
interpreters
|
luau: 0.609 -> 0.610
|
2024-01-27 04:20:00 +00:00 |
lisp-modules
|
sbclPackages.nyxt: 3.11.0 -> 3.11.1
|
2024-01-24 18:34:39 +08:00 |
node-packages
|
nodePackages.volar: add meta.mainProgram
|
2024-01-25 15:08:48 +01:00 |
php-packages
|
php81Extensions.amqp: 2.1.1 -> 2.1.2
|
2024-01-24 20:35:39 +00:00 |
web
|
protege-distribution: set meta.mainProgram
|
2024-01-25 14:52:32 +01:00 |