coq - reproducible builds result

coq

Test Details

notes
Test history
- Filter by: amd64 arm64 armhf

Suite and Architecture

amd64
- 8.12.0-3 in bullseye ♻
- 8.16.1+dfsg-1 in bookworm ♻
- 8.20.1+dfsg-1 in trixie ♻
- 8.20.1+dfsg-1 in unstable ♻
arm64
- 8.12.0-3 in bullseye ♻
- 8.16.1+dfsg-1 in bookworm ♻
- 8.20.1+dfsg-1 in trixie ♻
- 8.20.1+dfsg-1 in unstable ♻
armhf
- 8.12.0-3 in bullseye ♻
  - unreproducible
    at 2024-05-11 15:14:00 UTC
  - differences
  - buildinfo
    
    rbuild (101KB) build2 (97KB) diff
- 8.16.1+dfsg-1 in bookworm ♻
- 8.20.1+dfsg-1 in trixie ♻
- 8.20.1+dfsg-1 in unstable ♻

General Package Details

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