From f051b8832349a877f68c9f5d80ddfc0346676f8d Mon Sep 17 00:00:00 2001 From: Julian Kuners Date: Tue, 30 Sep 2025 17:14:08 +0100 Subject: [PATCH] change kmir branch from `master` to `release` --- src/kup/__main__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kup/__main__.py b/src/kup/__main__.py index 2866994..ac53a04 100644 --- a/src/kup/__main__.py +++ b/src/kup/__main__.py @@ -64,7 +64,7 @@ GithubPackage('runtimeverification', 'avm-semantics', PackageName('kavm')), GithubPackage('runtimeverification', 'evm-semantics', PackageName('kevm'), branch='release'), GithubPackage('runtimeverification', 'plutus-core-semantics', PackageName('kplutus')), - GithubPackage('runtimeverification', 'mir-semantics', PackageName('kmir')), + GithubPackage('runtimeverification', 'mir-semantics', PackageName('kmir'), branch='release'), GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol'), branch='release'), GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')), GithubPackage('runtimeverification', 'komet', PackageName('komet')),