message: fix: package-log needs new version.
diff: {
  "name": "lean4",
  - "version": "0.0.37",
  + "version": "0.0.39",
  "lockfileVersion": 2,
  "requires": true,
  "packages": {
  "": {
  "name": "lean4",
  - "version": "0.0.37",
  + "version": "0.0.39",
  "license": "Apache-2.0",
  "dependencies": {
  "mobx": "5.15.7",
  