btor2tools older build for now

mmicko · mmicko · commit 0c8368737f50 · 2025-09-10T08:15:05.000+02:00
diff --git a/default/rules/solvers.py b/default/rules/solvers.py
@@ -87,7 +87,7 @@
 	name = 'btor2tools',
 	vcs = 'git',
 	location = 'https://github.com/Boolector/btor2tools',
-	revision = 'origin/master',
+	revision = 'd381aefa4560d245a371c1915b1fb89b691d9489',
 	license_file = 'LICENSE.txt',
 	license_build_only = True,
 )

Original file line number	Diff line number	Diff line change
`@@ -87,7 +87,7 @@`
`87`	`87`	`name = 'btor2tools',`
`88`	`88`	`vcs = 'git',`
`89`	`89`	`location = 'https://github.com/Boolector/btor2tools',`
`90`		`- revision = 'origin/master',`
	`90`	`+ revision = 'd381aefa4560d245a371c1915b1fb89b691d9489',`
`91`	`91`	`license_file = 'LICENSE.txt',`
`92`	`92`	`license_build_only = True,`
`93`	`93`	`)`