Add komet (#127)

goodlyrottenapple · web-flow · commit f60bf1498816 · 2024-09-04T20:35:47.000-06:00
diff --git a/src/kup/__main__.py b/src/kup/__main__.py
@@ -64,6 +64,7 @@
     GithubPackage('runtimeverification', 'mir-semantics', PackageName('kmir')),
     GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol'), branch='release'),
     GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')),
+    GithubPackage('runtimeverification', 'komet', PackageName('komet')),
 ]
 
 

Original file line number	Diff line number	Diff line change
`@@ -64,6 +64,7 @@`
`64`	`64`	`GithubPackage('runtimeverification', 'mir-semantics', PackageName('kmir')),`
`65`	`65`	`GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol'), branch='release'),`
`66`	`66`	`GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')),`
	`67`	`+ GithubPackage('runtimeverification', 'komet', PackageName('komet')),`
`67`	`68`	`]`
`68`	`69`
`69`	`70`