coq-modules
|
Split coqPackages.mathcomp-analysis
|
2022-09-26 09:46:37 +02:00 |
embedded
|
openfpgaloader: 0.9.0 -> 0.9.1
|
2022-09-22 23:45:58 +08:00 |
haskell-modules
|
libtensorflow-bin: drop
|
2022-09-25 13:23:43 +02:00 |
lua-modules
|
luaPackages: fennel -> luaPackages.fennel
|
2022-09-24 22:46:10 -03:00 |
node-packages
|
nodePackages.pnpm: 7.12.0 -> 7.12.2
|
2022-09-26 13:44:04 -04:00 |
php-packages
|
php80Packages.phpstan: 1.8.5 -> 1.8.6
|
2022-09-26 00:49:59 +00:00 |
python-modules
|
python3Packages.energyflow: init at 1.3.2
|
2022-09-26 11:41:15 -04:00 |