diff --git a/src/kup/__main__.py b/src/kup/__main__.py
index ddbfb26..6a32c06 100644
--- a/src/kup/__main__.py
+++ b/src/kup/__main__.py
@@ -64,10 +64,10 @@
     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', 'kontrol', PackageName('kontrol'), branch='release'),
     GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')),
     GithubPackage('runtimeverification', 'komet', PackageName('komet')),
+    GithubPackage('runtimeverification', 'mir-semantics', PackageName('mir-semantics'), branch='master'),
 ]