The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ btor2tools_1.0.2~git20250507.fb69ee3-2.debian.t..> 30-Jan-2026 14:16 3412 btor2tools_1.0.2~git20250507.fb69ee3-2.dsc 30-Jan-2026 14:16 2264 btor2tools_1.0.2~git20250507.fb69ee3-2_amd64.deb 30-Jan-2026 15:01 66596 btor2tools_1.0.2~git20250507.fb69ee3-2_arm64.deb 30-Jan-2026 15:01 62228 btor2tools_1.0.2~git20250507.fb69ee3-2_i386.deb 30-Jan-2026 15:01 72264 btor2tools_1.0.2~git20250507.fb69ee3.orig.tar.xz 23-Aug-2025 05:08 62652 libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_..> 30-Jan-2026 15:01 17668 libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_..> 30-Jan-2026 15:01 17564 libbtor2parser-dev_1.0.2~git20250507.fb69ee3-2_..> 30-Jan-2026 15:01 20644 libbtor2parser0_1.0.2~git20250507.fb69ee3-2_amd..> 30-Jan-2026 15:01 15848 libbtor2parser0_1.0.2~git20250507.fb69ee3-2_arm..> 30-Jan-2026 15:01 15608 libbtor2parser0_1.0.2~git20250507.fb69ee3-2_i38..> 30-Jan-2026 15:01 18560
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.