coq-modules
|
coqPackages.compcert: enable for Coq 8.17
|
2023-07-17 07:47:50 +02:00 |
interpreters
|
elixir: make mix interpreter path absolute
|
2023-07-20 20:52:55 +09:00 |
lisp-modules
|
nyxt: 3.3.0 -> 3.4.0
|
2023-07-15 18:24:19 +02:00 |
lua-modules
|
luaPackages.magick: init at 1.6.0
|
2023-07-18 22:56:44 +02:00 |
mobile
|
maestro: 1.30.0 -> 1.30.3
|
2023-07-18 01:33:08 +05:30 |
node-packages
|
nodePackages: update to latest
|
2023-07-20 20:48:58 +09:00 |
php-packages
|
phpExtensions.msgpack: 2.2.0RC2 -> 2.2.0
|
2023-07-14 22:30:29 +02:00 |
tools
|
ocamlPackages.js_of_ocaml: 5.3.0 → 5.4.0
|
2023-07-20 05:52:47 +02:00 |