From 80d54cf0bd4a8a7ffd9a645addf1270e40baaf31 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Burak=20Bilge=20Yal=C3=A7=C4=B1nkaya?= Date: Mon, 15 Dec 2025 11:37:27 +0300 Subject: [PATCH] Add `skribe` --- src/kup/__main__.py | 1 + 1 file changed, 1 insertion(+) 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')), ]