diff --git a/src/kup/__main__.py b/src/kup/__main__.py
index ac53a04..598a023 100644
--- a/src/kup/__main__.py
+++ b/src/kup/__main__.py
@@ -68,6 +68,7 @@
     GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol'), branch='release'),
     GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')),
     GithubPackage('runtimeverification', 'komet', PackageName('komet')),
+    GithubPackage('runtimeverification', 'skribe', PackageName('skribe')),
 ]