phc/lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

clean up dependencies

Browse Source
This commit is contained in:
Alexander Bentkamp
2022-10-19 15:26:38 +02:00
parent d24eca1c0a
commit ec51b47fad
2 changed files with 1094 additions and 1689 deletions
Download Patch File Download Diff File Expand all files Collapse all files
package-lock.json
Generated
+1073 -1663
View File
File diff suppressed because it is too large Load Diff
package.json
+21 -26
View File
@@ -4,33 +4,39 @@
"private": true,
"homepage": ".",
"dependencies": {
"@babel/preset-typescript": "^7.18.6",
"@emotion/react": "^11.10.4",
"@emotion/styled": "^11.10.4",
"@fontsource/roboto": "^4.5.8",
"@fontsource/roboto-mono": "^4.5.8",
"@mui/icons-material": "^5.10.6",
"@mui/material": "^5.10.9",
"@pmmmwh/react-refresh-webpack-plugin": "^0.5.8",
"@testing-library/jest-dom": "^5.16.5",
"@testing-library/react": "^13.4.0",
"@testing-library/user-event": "^14.4.3",
"babel-loader": "^8.2.5",
"better-react-mathjax": "^2.0.2",
"concurrently": "^7.4.0",
"css-loader": "^6.7.1",
"express": "^4.18.2",
"react": "^18.2.0",
"react-dom": "^18.2.0",
"react-markdown": "^8.0.3",
"react-refresh": "^0.14.0",
"react-use-websocket": "^4.2.0",
"style-loader": "^3.3.1",
"web-vitals": "^3.0.3",
"webpack": "^5.74.0",
"webpack-dev-server": "^4.11.1",
"ws": "^8.9.0"
},
"devDependencies": {
"@babel/cli": "^7.1.0",
"@babel/core": "^7.1.0",
"@babel/preset-env": "^7.1.0",
"@babel/preset-react": "^7.0.0",
"@babel/preset-typescript": "^7.18.6",
"@pmmmwh/react-refresh-webpack-plugin": "^0.5.8",
"@testing-library/react": "^13.4.0",
"babel-loader": "^8.2.5",
"concurrently": "^7.4.0",
"css-loader": "^6.7.1",
"nodemon": "^2.0.20",
"style-loader": "^3.3.1",
"ts-loader": "^9.4.1",
"typescript": "^4.8.4",
"react-refresh": "^0.14.0",
"webpack": "^5.74.0",
"webpack-cli": "^4.10.0",
"webpack-dev-server": "^4.11.1",
"webpack-shell-plugin-next": "^2.2.2"
},
"scripts": {
"start": "concurrently -n server,client -c blue,green \"npm run start_server\" \"npm run start_client\"",
"start_server": "cd server && NODE_ENV=development nodemon -e js,lean --exec \"(cd leanserver && lake build) && (cd testgame && lake build) && node ./index.js\"",
@@ -57,16 +63,5 @@
"last 1 firefox version",
"last 1 safari version"
]
},
"devDependencies": {
"@babel/cli": "^7.1.0",
"@babel/core": "^7.1.0",
"@babel/preset-env": "^7.1.0",
"@babel/preset-react": "^7.0.0",
"nodemon": "^2.0.20",
"ts-loader": "^9.4.1",
"typescript": "^4.8.4",
"webpack-cli": "^4.10.0",
"webpack-shell-plugin-next": "^2.2.2"
}
}