provf/package.json at main · ExpressPath/provf · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
{
  "name": "ivucx",
  "version": "1.0.0",
  "description": "iVucx - Interactive Proof Assistant Editor",
  "main": "desktop/main.cjs",
  "type": "module",
  "scripts": {
    "dev": "node index.js",
    "desktop": "electron .",
    "dist:win": "npm run dist:win:installer && npm run dist:win:portable",
    "dist:win:installer": "electron-builder --win nsis --x64 -c.artifactName=\"${productName}-${version}-${arch}-setup.${ext}\"",
    "dist:win:portable": "electron-builder --win portable --x64 -c.artifactName=\"${productName}-${version}-${arch}-portable.${ext}\"",
    "dist:store": "electron-builder --win appx --x64",
    "build": "node build-vercel-static.mjs",
    "start": "node index.js",
    "test": "node --test tests/*.test.js"
  },
  "keywords": [
    "proof-assistant",
    "coq",
    "lean",
    "isabelle",
    "agda"
  ],
  "author": "",
  "license": "MIT",
  "dependencies": {
    "@supabase/supabase-js": "2.106.2",
    "express": "4.22.2",
    "nodemailer": "9.0.3",
    "stripe": "22.3.0"
  },
  "devDependencies": {
    "electron": "43.1.0",
    "electron-builder": "26.15.7"
  },
  "overrides": {
    "brace-expansion": "5.0.8"
  },
  "build": {
    "appId": "provf.provf",
    "productName": "iVucx",
    "artifactName": "${productName}-${version}-${arch}.${ext}",
    "directories": {
      "buildResources": "desktop/build",
      "output": "release"
    },
    "files": [
      "desktop/**/*",
      "package.json",
      "!node_modules/**/*"
    ],
    "asar": true,
    "asarUnpack": [],
    "npmRebuild": false,
    "win": {
      "icon": "desktop/build/icon.ico",
      "target": [
        "nsis",
        "portable",
        "appx"
      ],
      "requestedExecutionLevel": "asInvoker"
    },
    "nsis": {
      "oneClick": true,
      "perMachine": false,
      "allowToChangeInstallationDirectory": false,
      "createDesktopShortcut": true,
      "createStartMenuShortcut": true
    },
    "appx": {
      "applicationId": "provf",
      "identityName": "provf.provf",
      "publisher": "CN=C332A039-5915-4CF2-9C1F-CD1EB95E35CF",
      "publisherDisplayName": "provf",
      "displayName": "provf",
      "backgroundColor": "transparent"
    }
  },
  "engines": {
    "node": ">=22 <25"
  }
}