Update package.json
... | ... | @@ -53,9 +53,9 @@ |
"dependencies": { | ||
"@pseuco/ccs-compiler": "^0.8.11", | ||
"@pseuco/ccs-interpreter": "^0.8.8", | ||
"@pseuco/colored-petri-nets": "^1.4.5", | ||
"@pseuco/colored-petri-nets": "git+https://dgit.cs.uni-saarland.de/pseuco/colored-petri-nets.git#dominic", | ||
"@pseuco/lang": "^0.9.3", | ||
"@pseuco/pseuco-cpn-compiler": "^1.4.2", | ||
"@pseuco/pseuco-cpn-compiler": "git+https://dgit.cs.uni-saarland.de/pseuco/pseuco-cpn-compiler.git#dominic", | ||
"@pseuco/pseuco-promela-compiler": "^1.1.0", | ||
"ajv": "^8.11.0", | ||
"angular": "^1.8.2", | ||
... | ... |
Please register or sign in to comment