Update __main__.py: Set kontrol branch reference to release (#126)

FWBlueWizard · web-flow · commit 261986353527 · 2024-08-28T09:36:33.000-06:00
diff --git a/src/kup/__main__.py b/src/kup/__main__.py
@@ -62,7 +62,7 @@
     GithubPackage('runtimeverification', 'evm-semantics', PackageName('kevm'), branch='release'),
     GithubPackage('runtimeverification', 'plutus-core-semantics', PackageName('kplutus')),
     GithubPackage('runtimeverification', 'mir-semantics', PackageName('kmir')),
-    GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol')),
+    GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol'), branch='release'),
     GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')),
 ]
 

Original file line number	Diff line number	Diff line change
`@@ -62,7 +62,7 @@`
`62`	`62`	`GithubPackage('runtimeverification', 'evm-semantics', PackageName('kevm'), branch='release'),`
`63`	`63`	`GithubPackage('runtimeverification', 'plutus-core-semantics', PackageName('kplutus')),`
`64`	`64`	`GithubPackage('runtimeverification', 'mir-semantics', PackageName('kmir')),`
`65`		`- GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol')),`
	`65`	`+ GithubPackage('runtimeverification', 'kontrol', PackageName('kontrol'), branch='release'),`
`66`	`66`	`GithubPackage('runtimeverification', 'kasmer-multiversx', PackageName('kmxwasm')),`
`67`	`67`	`]`
`68`	`68`