From 73e2f5f14def55e993cbec741b2b39a8da605db1 Mon Sep 17 00:00:00 2001 From: Raoul Date: Wed, 30 Sep 2026 10:04:21 +0000 Subject: [PATCH] Add kontrol-node package --- src/kup/__main__.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/kup/__main__.py b/src/kup/__main__.py index 4bc60d8..722056d 100644 --- a/src/kup/__main__.py +++ b/src/kup/__main__.py @@ -76,6 +76,7 @@ GithubPackage('runtimeverification', 'plutus-core-semantics', PackageName('kplutus')), GithubPackage('runtimeverification', 'mir-semantics', PackageName('kmir'), branch='release'), GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol'), branch='release'), + GithubPackage('runtimeverification', 'kontrol-node', PackageName('kontrol-node'), branch='main'), GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')), GithubPackage('runtimeverification', 'komet', PackageName('komet')), GithubPackage('runtimeverification', 'komet-node', PackageName('komet-node'), branch='main'),