Your message dated Thu, 29 Jan 2026 21:25:32 +0000
with message-id <[email protected]>
and subject line Bug#1111868: fixed in btor2tools 1.0.2~git20250507.fb69ee3-1
has caused the Debian Bug report #1111868,
regarding ITP: btor2tools -- generic parser and tools for the BTOR2 format
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
1111868: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1111868
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: wnpp
Severity: wishlist
X-Debbugs-Cc: Package Salvaging Team <[email protected]>,
[email protected]
Subject: ITP: btor2tools -- generic parser and tools for the BTOR2 format
Package: wnpp
Owner: Andreas Tille <[email protected]>
Severity: wishlist
* Package name : btor2tools
Version : 1.0.2~git20250507.fb69ee3
Upstream Author : Armin Biere.
* URL : https://github.com/boolector/btor2tools
* License : expat
Programming Lang: C
Description : generic parser and tools for the BTOR2 format
BTOR2 is a word-level model checking format for capturing models of
hardware and potentially software in a bit-precise manner. This simple,
line-based and easy to parse format can be seen as a sorted extension of
the word-level format BTOR. It uses design principles from the bit-level
format AIGER and follows semantics of the SMT-LIB logics of bit-vectors
with arrays. This intermediate format can be used in various
verification flows and is perfectly suited to establish a word-level
model checking competition.
Remark: This package is maintained by Debian Science Maintainers at
https://salsa.debian.org/science-team/btor2tools
--- End Message ---
--- Begin Message ---
Source: btor2tools
Source-Version: 1.0.2~git20250507.fb69ee3-1
Done: Andreas Tille <[email protected]>
We believe that the bug you reported is fixed in the latest version of
btor2tools, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Andreas Tille <[email protected]> (supplier of updated btor2tools package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 23 Aug 2025 06:54:26 +0200
Source: btor2tools
Binary: btor2tools btor2tools-dbgsym libbtor2parser-dev libbtor2parser0
libbtor2parser0-dbgsym
Architecture: source amd64
Version: 1.0.2~git20250507.fb69ee3-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers
<[email protected]>
Changed-By: Andreas Tille <[email protected]>
Description:
btor2tools - generic parser and tools for the BTOR2 format
libbtor2parser-dev - development lib for generic parser and tools for the
BTOR2 format
libbtor2parser0 - library for generic parser and tools for the BTOR2 format
Closes: 1111868
Changes:
btor2tools (1.0.2~git20250507.fb69ee3-1) unstable; urgency=medium
.
* Initial release (Closes: #1111868)
Checksums-Sha1:
39c7d0ddaaffc87a191933170373be657112be80 2264
btor2tools_1.0.2~git20250507.fb69ee3-1.dsc
246fcd76f7d7fae867380d03167e84e537fcd1dc 62652
btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz
6fd6d5efe9c8afc103f213c87c7081c14a17222e 3096
btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz
49f025f3352873fc6c081007db90d6ea1044c827 651592
btor2tools-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb
0a99063f843a10b7c2fb954997d7449de3f46928 8510
btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.buildinfo
fa478d74f71467641764001fcb7fbc5ce3e1160a 66280
btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb
7095e5c2fc0d2a32a95c8c0cc62c3ff219e8362a 17420
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb
0a511cce222155d78f8e07764947b128fc095660 40900
libbtor2parser0-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb
e96bacb1465d2ab74dccd707d520362965489e46 15556
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_amd64.deb
Checksums-Sha256:
6d405d91879da439d1f71a1f757bf448cb49c724b220d41005f25da10dbbb6cb 2264
btor2tools_1.0.2~git20250507.fb69ee3-1.dsc
d34a114668e5c4914d58b99ec82ac611843c96e714bdd1c008b901c16befbe7d 62652
btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz
b29faebcdbfad57caa09701021f4e2ad8c2959c5257cc81b7aca684178810910 3096
btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz
1e573acb7d20bdd11c8d1926275625ce897a78ca558b1a3e59cb45109523d3b1 651592
btor2tools-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb
f7c1e8255b738f86e2cd3a21782a3ca7453be3f0629ead9b75d4736449ed4c62 8510
btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.buildinfo
8df5a9b93edd8218cb8097efb0e3cbdd5201ba317a94915f5e94b3f7f9dd95d3 66280
btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb
8bea9176b149db9bfd127b99334c7c38cafd6e1a7a8728f79cf360f9eee80e8b 17420
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb
a13505adb263958d0bf62613925450e64e173313b3b52b976e9a699c3753dac3 40900
libbtor2parser0-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb
89bd92cbeb1ed64891a226300d4d91aef7e75d8de3124b043553c651bc3ec48d 15556
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_amd64.deb
Files:
3e7cf578543cff67bb9c593cb22abe32 2264 science optional
btor2tools_1.0.2~git20250507.fb69ee3-1.dsc
6f0fa48c3463ce278370d70890d4a68b 62652 science optional
btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz
5def3c0e7f1e372976e7fddcb2121a9b 3096 science optional
btor2tools_1.0.2~git20250507.fb69ee3-1.debian.tar.xz
58de1fd92059966347b92cfc9e5b8ad4 651592 debug optional
btor2tools-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb
c82b63f97b560ae01fda0544bb3a571c 8510 science optional
btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.buildinfo
a24e658d7879ae5ae8686275313a552f 66280 science optional
btor2tools_1.0.2~git20250507.fb69ee3-1_amd64.deb
9db5450f4c0d5cdf9927deef5d41b99f 17420 libdevel optional
libbtor2parser-dev_1.0.2~git20250507.fb69ee3-1_amd64.deb
a2268cf51a4b20b1fb012bb095e0587d 40900 debug optional
libbtor2parser0-dbgsym_1.0.2~git20250507.fb69ee3-1_amd64.deb
0b7e2e8654f59ac231a6a91a9c954888 15556 libs optional
libbtor2parser0_1.0.2~git20250507.fb69ee3-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJFBAEBCgAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAmipSicRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtEcYg//RAH2U3cCbrip8BiPuM1GZls4Hzz96M3C
dTuh8oMfsOYwsarll+YdMlFyev/N496X765WilBi56zjBJKfeBHBbwnef2FgIzsa
LU4FaLL6BecyrXO738R5A0b0ExCVT5wz7sVSyI+rJ0iVGebg2oBEKlV+5uiX4oLW
aP33n2rkInCi0VaAqYwCq+cPWZPvCBrbs4mIf2O0/qvHhoGrAQdAMtll2uMQ0zEW
JE5reEblzE44gQP1tSJQM3hAb1Lpf27GhenGehR1QgPZeq+Pbe7HN7laoD9jsnBf
a2QjV5l606dERHZXYiBMJMw6CAgtyaUc0LhYkUSgF++VXdzpG/z61Wb1YcTkrIWe
7D1LWxZL04hud0HKQ1ogfYgrydxe6NwVps9J3iY30n6gaJu2XvR+P4YMkiewM1gh
9EgdHDaN3Eas3AMvuXWQ8H92JmLFy50crkhxHkRACCwlOcpl75kTaiX3b8hbbBcj
k7oLiIBtY6H73Iye34xMqqKbkF3bL3Hbe5+KqNSzobczqw03AcBSHNYiBKhnBi/n
G/ktS8wNFaAdoqgIw1ORxvxgdfpW2jComK7U9kkyKK8AloaEC4Q5PslXLcA8e7cr
rIbgXqH9ZGFdl+Szv5ZOuTJ4D9GB9bFNih9/8UzS9KuGCsO/9Z4bR1YQgjmjZCjs
TrjoGeOpNBc=
=+dy/
-----END PGP SIGNATURE-----
pgpY9JMvwn0yM.pgp
Description: PGP signature
--- End Message ---
