coq-equations

Test Details

• Good work! This package looks reproducible in our current test framework :)
• Test history
  • Filter by: amd64 arm64

Suite and Architecture

• amd64
  • 1.3-8.16-2 in bookworm ♻
  • 1.3.1-8.20-1 in trixie ♻
  • 1.3.2-9.2-2 in forky ♻
  • 1.3.2-9.2-2 in unstable ♻
    • reproducible
      at 2026-08-28 08:50:00 UTC
    • buildinfo
      rbuild (15KB) build2 (13KB) diff
• arm64
  • 1.3-8.16-2 in bookworm ♻
  • 1.3.1-8.20-1 in trixie ♻
  • 1.3.2-9.2-2 in forky ♻
  • 1.3.2-9.2-2 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
  
• reproduce.debian.net aims for 100% bit-for-bit identical rebuilds of Debian
• other CI tests