boolector

Test Details

• notes
• Test history
  • Filter by: amd64 arm64 armhf i386

Suite and Architecture

• amd64
  • 1.5.118.6b56be4.121013-1 in stretch ♻
  • 1.5.118.6b56be4.121013-1 in buster ♻
  • 1.5.118.6b56be4.121013-1 in bullseye ♻
  • 1.5.118.6b56be4.121013-1.3 in bookworm ♻
  • 1.5.118.6b56be4.121013-1.3 in unstable ♻
• arm64
  • 1.5.118.6b56be4.121013-1 in stretch ♻
  • 1.5.118.6b56be4.121013-1 in buster ♻
  • 1.5.118.6b56be4.121013-1 in bullseye ♻
  • 1.5.118.6b56be4.121013-1.3 in bookworm ♻
  • 1.5.118.6b56be4.121013-1.3 in unstable ♻
• armhf
  • 1.5.118.6b56be4.121013-1 in stretch ♻
  • 1.5.118.6b56be4.121013-1 in buster ♻
  • 1.5.118.6b56be4.121013-1 in bullseye ♻
  • 1.5.118.6b56be4.121013-1.3 in bookworm ♻
  • 1.5.118.6b56be4.121013-1.3 in unstable ♻
• i386
  • 1.5.118.6b56be4.121013-1 in stretch ♻
    • unreproducible
      at 2018-05-16 18:43:00 UTC
    • differences
    • buildinfo
      rbuild (8KB) build2 (6KB) diff
  • 1.5.118.6b56be4.121013-1 in buster ♻
  • 1.5.118.6b56be4.121013-1 in bullseye ♻
  • 1.5.118.6b56be4.121013-1.3 in bookworm ♻
  • 1.5.118.6b56be4.121013-1.3 in unstable ♻

General Package Details

• PTS BTS
• Package source
  • debian/
    debian/changelog
    debian/control
    debian/rules

• Debian dashboard
• Variations tested

The Reproducible Builds project

• reproducible-builds.org
  Reproducible Builds - Docs• News
  Reproducible Builds in Debian - Wiki
  SOURCE_DATE_EPOCH specification
  
• CI tests