coq - reproducible builds result

coq

Test Details

notes
Test history
- Filter by: amd64 arm64

Suite and Architecture

amd64
- 9.1.0+dfsg-2 in experimental ♻
- 8.16.1+dfsg-1 in bookworm ♻
- 8.20.1+dfsg-1 in trixie ♻
- 8.20.1+dfsg-1 in forky ♻
- 8.20.1+dfsg-1 in unstable ♻
arm64
- 9.1.0+dfsg-2 in experimental ♻
- 8.16.1+dfsg-1 in bookworm ♻
  - unreproducible
    at 2024-05-11 15:11:00 UTC
  - differences
  - buildinfo
    
    rbuild (186KB) build2 (183KB) diff
- 8.20.1+dfsg-1 in trixie ♻
- 8.20.1+dfsg-1 in forky ♻
- 8.20.1+dfsg-1 in unstable ♻

General Package Details

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