Add komet-node (#151)

RaoulSchaffranek · web-flow · commit 2e3469d16437 · 2026-06-18T16:32:45.000+02:00
diff --git a/src/kup/__main__.py b/src/kup/__main__.py
@@ -78,6 +78,7 @@
     GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol'), branch='release'),
     GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')),
     GithubPackage('runtimeverification', 'komet', PackageName('komet')),
+    GithubPackage('runtimeverification', 'komet-node', PackageName('komet-node'), branch='main'),
     GithubPackage('runtimeverification', 'skribe', PackageName('skribe')),
 ]
 

Original file line number	Diff line number	Diff line change
`@@ -78,6 +78,7 @@`
`78`	`78`	`GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol'), branch='release'),`
`79`	`79`	`GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')),`
`80`	`80`	`GithubPackage('runtimeverification', 'komet', PackageName('komet')),`
	`81`	`+ GithubPackage('runtimeverification', 'komet-node', PackageName('komet-node'), branch='main'),`
`81`	`82`	`GithubPackage('runtimeverification', 'skribe', PackageName('skribe')),`
`82`	`83`	`]`
`83`	`84`