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

update lean4web

Browse Source
This commit is contained in:
Alexander Bentkamp
2023-01-25 11:54:57 +01:00
parent 1d2b12eb5f
commit ab3a0df9af
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
package-lock.json
Generated
+1 -1
View File
@@ -6058,7 +6058,7 @@
},
"node_modules/lean4web": {
"version": "0.1.0",
"resolved": "git+ssh://git@github.com/hhu-adam/lean4web.git#b887fcd519be50c21a8ca35a6620aaeee6940b6e",
"resolved": "git+ssh://git@github.com/hhu-adam/lean4web.git#635cd1aeefa0e47609ba98966ba4b9d189ad67ff",
"dependencies": {
"@fontsource/roboto": "^4.5.8",
"@fontsource/roboto-mono": "^4.5.8",