coq - reproducible builds result

coq

Test Details

No notes exist for this package. Add some!
Test history
- Filter by: amd64 arm64

Suite and Architecture

amd64
- 8.16.1+dfsg-1 in bookworm ♻
- 8.20.1+dfsg-1 in trixie ♻
- 9.2.0+dfsg-3 in forky ♻
- 9.2.0+dfsg-3 in unstable ♻
arm64
- 8.16.1+dfsg-1 in bookworm ♻
- 8.20.1+dfsg-1 in trixie ♻
  - unreproducible
    at 2025-07-07 09:39:00 UTC
  - differences (txt) (json)
  - buildinfo
    
    rbuild (108KB) build2 (104KB) diff
- 9.2.0+dfsg-3 in forky ♻
- 9.2.0+dfsg-3 in unstable ♻

General Package Details

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