coq-bignums - reproducible builds result

coq-bignums

Test Details

notes
Test history
- Filter by: amd64 arm64

Suite and Architecture

amd64
- 9.0.0+rocq9.1-1 in experimental ♻
- 8.17.0-2 in bookworm ♻
- 9.0.0+coq8.20-1 in trixie ♻
- 9.0.0+coq8.20-1 in forky ♻
- 9.0.0+coq8.20-1 in unstable ♻
arm64
- 9.0.0+rocq9.1-1 in experimental ♻
- 8.17.0-2 in bookworm ♻
- 9.0.0+coq8.20-1 in trixie ♻
  - reproducible
    at 2025-07-15 05:44:00 UTC
  - buildinfo
    
    rbuild (11KB) build2 (9KB) diff
- 9.0.0+coq8.20-1 in forky ♻
- 9.0.0+coq8.20-1 in unstable ♻

General Package Details

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