Apparently large parts of the Electron app have been based on deprecated libraries, and now installation doesn't seem to be working at all anymore:
/fret/fret-electron$ npm run fret-install
> fret@3.0 fret-install
> npm run clean ; npm install && npm --prefix ../tools/LTLSIM/ltlsim-core install ../tools/LTLSIM/ltlsim-core && npm run build
> fret@3.0 clean
> rm -rf app/node_modules ; rm -rf ../tools/LTLSIM/ltlsim-core/node_modules ; rm -rf ../tools/LTLSIM/ltlsim-electron/node_modules ; rm -rf node_modules
npm WARN deprecated @types/puppeteer@7.0.4: This is a stub types definition. puppeteer provides its own type definitions, so you do not need this installed.
npm WARN deprecated flatten@1.0.3: flatten is deprecated in favor of utility frameworks such as lodash.
npm WARN deprecated @babel/plugin-proposal-json-strings@7.18.6: This proposal has been merged to the ECMAScript standard and thus this plugin is no longer maintained. Please use @babel/plugin-transform-json-strings instead.
npm WARN deprecated request-promise-native@1.0.9: request-promise-native has been deprecated because it extends the now deprecated request package, see https://github.com/request/request/issues/3142
npm WARN deprecated @babel/plugin-proposal-numeric-separator@7.18.6: This proposal has been merged to the ECMAScript standard and thus this plugin is no longer maintained. Please use @babel/plugin-transform-numeric-separator instead.
npm WARN deprecated @babel/plugin-proposal-export-namespace-from@7.18.9: This proposal has been merged to the ECMAScript standard and thus this plugin is no longer maintained. Please use @babel/plugin-transform-export-namespace-from instead.
npm WARN deprecated @babel/plugin-proposal-class-properties@7.18.6: This proposal has been merged to the ECMAScript standard and thus this plugin is no longer maintained. Please use @babel/plugin-transform-class-properties instead.
npm WARN deprecated @babel/plugin-proposal-nullish-coalescing-operator@7.18.6: This proposal has been merged to the ECMAScript standard and thus this plugin is no longer maintained. Please use @babel/plugin-transform-nullish-coalescing-operator instead.
npm WARN deprecated @babel/plugin-proposal-logical-assignment-operators@7.20.7: This proposal has been merged to the ECMAScript standard and thus this plugin is no longer maintained. Please use @babel/plugin-transform-logical-assignment-operators instead.
npm WARN deprecated trim@0.0.1: Use String.prototype.trim() instead
npm WARN deprecated har-validator@5.1.5: this library is no longer supported
npm WARN deprecated domexception@1.0.1: Use your platform's native DOMException instead
npm WARN deprecated abab@2.0.6: Use your platform's native atob() and btoa() methods instead
npm WARN deprecated @babel/plugin-proposal-optional-chaining@7.21.0: This proposal has been merged to the ECMAScript standard and thus this plugin is no longer maintained. Please use @babel/plugin-transform-optional-chaining instead.
npm WARN deprecated browserslist@1.7.7: Browserslist 2 could fail on reading Browserslist >3.0 config used in other tools.
npm WARN deprecated browserslist@1.7.7: Browserslist 2 could fail on reading Browserslist >3.0 config used in other tools.
npm WARN deprecated browserslist@1.7.7: Browserslist 2 could fail on reading Browserslist >3.0 config used in other tools.
npm WARN deprecated browserslist@1.7.7: Browserslist 2 could fail on reading Browserslist >3.0 config used in other tools.
npm WARN deprecated browserslist@1.7.7: Browserslist 2 could fail on reading Browserslist >3.0 config used in other tools.
npm WARN deprecated left-pad@1.3.0: use String.prototype.padStart()
npm WARN deprecated browserslist@2.11.3: Browserslist 2 could fail on reading Browserslist >3.0 config used in other tools.
npm WARN deprecated circular-json@0.3.3: CircularJSON is in maintenance only, flatted is its successor.
npm WARN deprecated w3c-hr-time@1.0.2: Use your platform's native performance.now() and performance.timeOrigin.
npm WARN deprecated samsam@1.3.0: This package has been deprecated in favour of @sinonjs/samsam
npm WARN deprecated babel-eslint@9.0.0: babel-eslint is now @babel/eslint-parser. This package will no longer receive updates.
npm WARN deprecated uuid@3.4.0: Please upgrade to version 7 or higher. Older versions may use Math.random() in certain circumstances, which is known to be problematic. See https://v8.dev/blog/math-random for details.
npm WARN deprecated node-uuid@1.4.8: Use uuid module instead
npm WARN deprecated request@2.88.2: request has been deprecated, see https://github.com/request/request/issues/3142
npm WARN deprecated @babel/polyfill@7.12.1: 🚨 This package has been deprecated in favor of separate inclusion of a polyfill and regenerator-runtime (when needed). See the @babel/polyfill docs (https://babeljs.io/docs/en/babel-polyfill) for more information.
npm WARN deprecated bfj-node4@5.3.1: Switch to the `bfj` package for fixes and new features!
npm WARN deprecated svgo@0.7.2: This SVGO version is no longer supported. Upgrade to v2.x.x.
npm WARN deprecated electron-rebuild@3.2.9: Please use @electron/rebuild moving forward. There is no API change, just a package name change
npm WARN deprecated @material-ui/styles@4.11.5: Material UI v4 doesn't receive active development since September 2021. See the guide https://mui.com/material-ui/migration/migration-v4/ to upgrade to v5.
npm WARN deprecated sinon@4.5.0: 16.1.1
npm WARN deprecated @material-ui/lab@4.0.0-alpha.61: Material UI v4 doesn't receive active development since September 2021. See the guide https://mui.com/material-ui/migration/migration-v4/ to upgrade to v5.
npm WARN deprecated highlight.js@9.18.5: Support has ended for 9.x series. Upgrade to @latest
npm WARN deprecated core-js@2.6.12: core-js@<3.23.3 is no longer maintained and not recommended for usage due to the number of issues. Because of the V8 engine whims, feature detection in old core-js versions could cause a slowdown up to 100x even if nothing is polyfilled. Some versions have web compatibility issues. Please, upgrade your dependencies to the actual version of core-js.
npm WARN deprecated @material-ui/core@4.12.4: Material UI v4 doesn't receive active development since September 2021. See the guide https://mui.com/material-ui/migration/migration-v4/ to upgrade to v5.
npm WARN deprecated mdn-browser-compat-data@0.0.65: mdn-browser-compat-data is deprecated. Upgrade to @mdn/browser-compat-data. Learn more: https://github.com/mdn/browser-compat-data/blob/v1.1.2/UPGRADE-2.0.x.md
npm ERR! code 1
npm ERR! path /home/u086723/fret/fret-electron/node_modules/electron-chromedriver
npm ERR! command failed
npm ERR! command sh -c node ./download-chromedriver.js
npm ERR! node:internal/process/promises:288
npm ERR! triggerUncaughtException(err, true /* fromPromise */);
npm ERR! ^
npm ERR!
npm ERR! GotError [RequestError]: connect ETIMEDOUT 185.199.109.133:443
npm ERR! at ClientRequest.<anonymous> (/home/u086723/fret/fret-electron/node_modules/electron-chromedriver/node_modules/got/source/request-as-event-emitter.js:178:14)
npm ERR! at Object.onceWrapper (node:events:632:26)
npm ERR! at ClientRequest.emit (node:events:529:35)
npm ERR! at origin.emit (/home/u086723/fret/fret-electron/node_modules/electron-chromedriver/node_modules/@szmarczak/http-timer/source/index.js:37:11)
npm ERR! at TLSSocket.socketErrorListener (node:_http_client:501:9)
npm ERR! at TLSSocket.emit (node:events:517:28)
npm ERR! at emitErrorNT (node:internal/streams/destroy:151:8)
npm ERR! at emitErrorCloseNT (node:internal/streams/destroy:116:3)
npm ERR! at process.processTicksAndRejections (node:internal/process/task_queues:82:21) {
npm ERR! code: 'ETIMEDOUT',
npm ERR! host: 'github.com',
npm ERR! hostname: 'release-assets.githubusercontent.com',
npm ERR! method: 'GET',
npm ERR! path: '/github-production-release-asset/9384267/164aea80-27e3-11eb-9a83-ed4dbe1eeb5f?sp=r&sv=2018-11-09&sr=b&spr=https&se=2026-03-19T14%3A22%3A53Z&rscd=attachment%3B+filename%3Dchromedriver-v11.0.0-linux-x64.zip&rsct=application%2Foctet-stream&skoid=96c2d410-5711-43a1-aedd-ab1947aa7ab0&sktid=398a6654-997b-47e9-b12b-9515b896b4de&skt=2026-03-19T13%3A22%3A13Z&ske=2026-03-19T14%3A22%3A53Z&sks=b&skv=2018-11-09&sig=JOwblCuS%2FqqpeKFlW%2Fw6umfqTc4iUetUjZYjtG%2BslI4%3D&jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmVsZWFzZS1hc3NldHMuZ2l0aHVidXNlcmNvbnRlbnQuY29tIiwia2V5Ijoia2V5MSIsImV4cCI6MTc3MzkyOTc4NywibmJmIjoxNzczOTI3OTg3LCJwYXRoIjoicmVsZWFzZWFzc2V0cHJvZHVjdGlvbi5ibG9iLmNvcmUud2luZG93cy5uZXQifQ.hHtVPHKoaB03VDstdwAJtU_PGQz9TGgber0R4YHIx0E&response-content-disposition=attachment%3B%20filename%3Dchromedriver-v11.0.0-linux-x64.zip&response-content-type=application%2Foctet-stream',
npm ERR! socketPath: undefined,
npm ERR! protocol: 'https:',
npm ERR! url: 'https://release-assets.githubusercontent.com/github-production-release-asset/9384267/164aea80-27e3-11eb-9a83-ed4dbe1eeb5f?sp=r&sv=2018-11-09&sr=b&spr=https&se=2026-03-19T14%3A22%3A53Z&rscd=attachment%3B+filename%3Dchromedriver-v11.0.0-linux-x64.zip&rsct=application%2Foctet-stream&skoid=96c2d410-5711-43a1-aedd-ab1947aa7ab0&sktid=398a6654-997b-47e9-b12b-9515b896b4de&skt=2026-03-19T13%3A22%3A13Z&ske=2026-03-19T14%3A22%3A53Z&sks=b&skv=2018-11-09&sig=JOwblCuS%2FqqpeKFlW%2Fw6umfqTc4iUetUjZYjtG%2BslI4%3D&jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmVsZWFzZS1hc3NldHMuZ2l0aHVidXNlcmNvbnRlbnQuY29tIiwia2V5Ijoia2V5MSIsImV4cCI6MTc3MzkyOTc4NywibmJmIjoxNzczOTI3OTg3LCJwYXRoIjoicmVsZWFzZWFzc2V0cHJvZHVjdGlvbi5ibG9iLmNvcmUud2luZG93cy5uZXQifQ.hHtVPHKoaB03VDstdwAJtU_PGQz9TGgber0R4YHIx0E&response-content-disposition=attachment%3B%20filename%3Dchromedriver-v11.0.0-linux-x64.zip&response-content-type=application%2Foctet-stream',
npm ERR! gotOptions: {
npm ERR! path: '/github-production-release-asset/9384267/164aea80-27e3-11eb-9a83-ed4dbe1eeb5f?sp=r&sv=2018-11-09&sr=b&spr=https&se=2026-03-19T14%3A22%3A53Z&rscd=attachment%3B+filename%3Dchromedriver-v11.0.0-linux-x64.zip&rsct=application%2Foctet-stream&skoid=96c2d410-5711-43a1-aedd-ab1947aa7ab0&sktid=398a6654-997b-47e9-b12b-9515b896b4de&skt=2026-03-19T13%3A22%3A13Z&ske=2026-03-19T14%3A22%3A53Z&sks=b&skv=2018-11-09&sig=JOwblCuS%2FqqpeKFlW%2Fw6umfqTc4iUetUjZYjtG%2BslI4%3D&jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmVsZWFzZS1hc3NldHMuZ2l0aHVidXNlcmNvbnRlbnQuY29tIiwia2V5Ijoia2V5MSIsImV4cCI6MTc3MzkyOTc4NywibmJmIjoxNzczOTI3OTg3LCJwYXRoIjoicmVsZWFzZWFzc2V0cHJvZHVjdGlvbi5ibG9iLmNvcmUud2luZG93cy5uZXQifQ.hHtVPHKoaB03VDstdwAJtU_PGQz9TGgber0R4YHIx0E&response-content-disposition=attachment%3B%20filename%3Dchromedriver-v11.0.0-linux-x64.zip&response-content-type=application%2Foctet-stream',
npm ERR! protocol: 'https:',
npm ERR! slashes: true,
npm ERR! auth: null,
npm ERR! host: 'github.com',
npm ERR! port: null,
npm ERR! hostname: 'release-assets.githubusercontent.com',
npm ERR! hash: '',
npm ERR! search: '?sp=r&sv=2018-11-09&sr=b&spr=https&se=2026-03-19T14%3A22%3A53Z&rscd=attachment%3B+filename%3Dchromedriver-v11.0.0-linux-x64.zip&rsct=application%2Foctet-stream&skoid=96c2d410-5711-43a1-aedd-ab1947aa7ab0&sktid=398a6654-997b-47e9-b12b-9515b896b4de&skt=2026-03-19T13%3A22%3A13Z&ske=2026-03-19T14%3A22%3A53Z&sks=b&skv=2018-11-09&sig=JOwblCuS%2FqqpeKFlW%2Fw6umfqTc4iUetUjZYjtG%2BslI4%3D&jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmVsZWFzZS1hc3NldHMuZ2l0aHVidXNlcmNvbnRlbnQuY29tIiwia2V5Ijoia2V5MSIsImV4cCI6MTc3MzkyOTc4NywibmJmIjoxNzczOTI3OTg3LCJwYXRoIjoicmVsZWFzZWFzc2V0cHJvZHVjdGlvbi5ibG9iLmNvcmUud2luZG93cy5uZXQifQ.hHtVPHKoaB03VDstdwAJtU_PGQz9TGgber0R4YHIx0E&response-content-disposition=attachment%3B%20filename%3Dchromedriver-v11.0.0-linux-x64.zip&response-content-type=application%2Foctet-stream',
npm ERR! query: null,
npm ERR! pathname: '/github-production-release-asset/9384267/164aea80-27e3-11eb-9a83-ed4dbe1eeb5f',
npm ERR! href: 'https://release-assets.githubusercontent.com/github-production-release-asset/9384267/164aea80-27e3-11eb-9a83-ed4dbe1eeb5f?sp=r&sv=2018-11-09&sr=b&spr=https&se=2026-03-19T14%3A22%3A53Z&rscd=attachment%3B+filename%3Dchromedriver-v11.0.0-linux-x64.zip&rsct=application%2Foctet-stream&skoid=96c2d410-5711-43a1-aedd-ab1947aa7ab0&sktid=398a6654-997b-47e9-b12b-9515b896b4de&skt=2026-03-19T13%3A22%3A13Z&ske=2026-03-19T14%3A22%3A53Z&sks=b&skv=2018-11-09&sig=JOwblCuS%2FqqpeKFlW%2Fw6umfqTc4iUetUjZYjtG%2BslI4%3D&jwt=eyJ0eXAiOiJKV1QiLCJhbGciOiJIUzI1NiJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmVsZWFzZS1hc3NldHMuZ2l0aHVidXNlcmNvbnRlbnQuY29tIiwia2V5Ijoia2V5MSIsImV4cCI6MTc3MzkyOTc4NywibmJmIjoxNzczOTI3OTg3LCJwYXRoIjoicmVsZWFzZWFzc2V0cHJvZHVjdGlvbi5ibG9iLmNvcmUud2luZG93cy5uZXQifQ.hHtVPHKoaB03VDstdwAJtU_PGQz9TGgber0R4YHIx0E&response-content-disposition=attachment%3B%20filename%3Dchromedriver-v11.0.0-linux-x64.zip&response-content-type=application%2Foctet-stream',
npm ERR! retry: {
npm ERR! retries: [Function (anonymous)],
npm ERR! methods: Set(6) { 'GET', 'PUT', 'HEAD', 'DELETE', 'OPTIONS', 'TRACE' },
npm ERR! statusCodes: Set(7) { 408, 413, 429, 500, 502, 503, 504 },
npm ERR! errorCodes: Set(8) {
npm ERR! 'ETIMEDOUT',
npm ERR! 'ECONNRESET',
npm ERR! 'EADDRINUSE',
npm ERR! 'ECONNREFUSED',
npm ERR! 'EPIPE',
npm ERR! 'ENOTFOUND',
npm ERR! 'ENETUNREACH',
npm ERR! 'EAI_AGAIN'
npm ERR! }
npm ERR! },
npm ERR! headers: {
npm ERR! 'user-agent': 'got/9.6.0 (https://github.com/sindresorhus/got)',
npm ERR! 'accept-encoding': 'gzip, deflate'
npm ERR! },
npm ERR! hooks: {
npm ERR! beforeRequest: [],
npm ERR! beforeRedirect: [],
npm ERR! beforeRetry: [],
npm ERR! afterResponse: [],
npm ERR! beforeError: [],
npm ERR! init: []
npm ERR! },
npm ERR! decompress: true,
npm ERR! throwHttpErrors: true,
npm ERR! followRedirect: true,
npm ERR! stream: true,
npm ERR! form: false,
npm ERR! json: false,
npm ERR! cache: false,
npm ERR! useElectronNet: false,
npm ERR! method: 'GET'
npm ERR! }
npm ERR! }
npm ERR!
npm ERR! Node.js v18.19.1
Apparently large parts of the Electron app have been based on deprecated libraries, and now installation doesn't seem to be working at all anymore: