prover9-manual - reproducible builds result

prover9-manual

Test Details

notes
Test history
- Filter by: amd64 arm64 armhf i386

Suite and Architecture

amd64
- 0.0.200902a-2 in stretch ♻
  - unreproducible
    at 2020-02-15 11:13:00 UTC
  - differences
  - buildinfo
    
    rbuild (9KB) build2 (7KB) diff
- 0.0.200902a-2 in buster ♻
- 0.0.200902a-2.1 in bullseye ♻
- 0.0.200902a-2.1 in bookworm ♻
- 0.0.200902a-2.1 in unstable ♻
arm64
- 0.0.200902a-2 in stretch ♻
- 0.0.200902a-2 in buster ♻
- 0.0.200902a-2.1 in bullseye ♻
- 0.0.200902a-2.1 in bookworm ♻
- 0.0.200902a-2.1 in unstable ♻
armhf
- 0.0.200902a-2 in stretch ♻
- 0.0.200902a-2 in buster ♻
- 0.0.200902a-2.1 in bullseye ♻
- 0.0.200902a-2.1 in bookworm ♻
- 0.0.200902a-2.1 in unstable ♻
i386
- 0.0.200902a-2 in stretch ♻
- 0.0.200902a-2 in buster ♻
- 0.0.200902a-2.1 in bullseye ♻
- 0.0.200902a-2.1 in bookworm ♻
- 0.0.200902a-2.1 in unstable ♻

General Package Details

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