Skip to content

Commit 37e063b

Browse files
palinatolmachpalinatolmach
committed
Use git+ format in pyproject.toml 
1 parent 5971d08 commit 37e063b

2 files changed

Lines changed: 3 additions & 3 deletions

File tree

‎kevm-pyk/poetry.lock‎

Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎kevm-pyk/pyproject.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ authors = [
1414
python = "^3.10"
1515
pathos = "*"
1616
# kframework = "7.1.273"
17-
kframework = { git = "https://github.com/runtimeverification/k", rev = "65596e6666919183d241ec8001b3b0fa899b5e77", subdirectory = "pyk" }
17+
kframework = { git = "git+https://github.com/runtimeverification/k.git", rev = "65596e6666919183d241ec8001b3b0fa899b5e77", subdirectory = "pyk" }
1818
tomlkit = "^0.11.6"
1919
frozendict = "^2.4.6"
2020

0 commit comments

Comments
 (0)