coq - reproducible builds result

coq

Test Details

notes
Test history
- Filter by: amd64 arm64 armhf i386

Suite and Architecture

amd64
- 8.9.0-1 in buster ♻
- 8.12.0-3 in bullseye ♻
- 8.16.1+dfsg-1 in bookworm ♻
- 8.17.0+dfsg-1 in trixie ♻
- 8.17.0+dfsg-1 in unstable ♻
arm64
- 8.9.0-1 in buster ♻
- 8.12.0-3 in bullseye ♻
- 8.16.1+dfsg-1 in bookworm ♻
- 8.17.0+dfsg-1 in trixie ♻
- 8.17.0+dfsg-1 in unstable ♻
armhf
- 8.9.0-1 in buster ♻
  - unreproducible
    at 2020-08-09 06:19:00 UTC
  - differences
  - buildinfo
    
    rbuild (128KB) build2 (126KB) diff
- 8.12.0-3 in bullseye ♻
- 8.16.1+dfsg-1 in bookworm ♻
- 8.17.0+dfsg-1 in trixie ♻
- 8.17.0+dfsg-1 in unstable ♻
i386
- 8.9.0-1 in buster ♻
- 8.12.0-3 in bullseye ♻
- 8.16.1+dfsg-1 in bookworm ♻
- 8.17.0+dfsg-1 in trixie ♻
- 8.17.0+dfsg-1 in unstable ♻

General Package Details

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