btor2tools - Debian cross build

state	architectures
ok	any → any

started	version	build architecture	host architecture	result log
1 d	1.0.2~git20250507.fb69ee3-2	arm64	i386	ok xz
19 d	1.0.2~git20250507.fb69ee3-2	amd64	armhf	ok xz
19 d	1.0.2~git20250507.fb69ee3-2	amd64	riscv64	ok xz
19 d	1.0.2~git20250507.fb69ee3-2	amd64	s390x	ok xz
20 d	1.0.2~git20250507.fb69ee3-2	amd64	arm64	ok xz
20 d	1.0.2~git20250507.fb69ee3-2	amd64	ppc64el	ok xz
20 d	1.0.2~git20250507.fb69ee3-1	amd64	arm64	ok xz
20 d	1.0.2~git20250507.fb69ee3-1	amd64	s390x	ok xz
20 d	1.0.2~git20250507.fb69ee3-1	amd64	armhf	ok xz
21 d	1.0.2~git20250507.fb69ee3-1	amd64	riscv64	ok xz