Update kup package list (#116)

runtimeverification · Jun 20, 2024 · e78eda6 · e78eda6
1 parent 8b2c1b9
commit e78eda6
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/kup/__main__.py b/src/kup/__main__.py
@@ -63,10 +63,7 @@
     GithubPackage('runtimeverification', 'plutus-core-semantics', PackageName('kplutus')),
     GithubPackage('runtimeverification', 'mir-semantics', PackageName('kmir')),
     GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol')),
-    GithubPackage('runtimeverification', 'haskell-backend', PackageName('kore-exec')),
-    GithubPackage('runtimeverification', 'haskell-backend', PackageName('kore-rpc')),
-    GithubPackage('runtimeverification', 'hs-backend-booster', PackageName('kore-rpc-booster'), 'main'),
-    GithubPackage('runtimeverification', 'pyk', PackageName('pyk')),
+    GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')),
 ]