Add skribe (#142)

bbyalcinkaya · web-flow · commit d4954e10d9b0 · 2025-12-15T12:58:07.000Z
diff --git 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')),
 ]
 
 

Original file line number	Diff line number	Diff line change
`@@ -68,6 +68,7 @@`
`68`	`68`	`GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol'), branch='release'),`
`69`	`69`	`GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')),`
`70`	`70`	`GithubPackage('runtimeverification', 'komet', PackageName('komet')),`
	`71`	`+ GithubPackage('runtimeverification', 'skribe', PackageName('skribe')),`
`71`	`72`	`]`
`72`	`73`
`73`	`74`