coq-interval_4.9.0-1_arm64.buildinfo (view)

Source
coq-interval
Version
4.9.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 25 May 2025 05:04:18 +0000
Build-Path
/build/reproducible-path/coq-interval-4.9.0

First submitted
Sun, 21 Apr 2024 22:41:29 +0000
SHA1 of .buildinfo
d62050464297ea76dcaa95ff246a7efe2b0fd558

Binaries

libcoq-interval (libcoq-interval_4.9.0-1_arm64.deb)
SHA1: e1a9178f8986574b574018fcdd76fee71a13a511
SHA256: 068ecaf5db9e6b7719163271131db38688f7dd8a060c5d1be11e57f1d8d427e2

Size: 5,800,288 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.9.0-1_arm64.deb)
SHA1: 070bc1ae0bcb616518b57eb69428cb55d8c72202
SHA256: 0b82c03449ce5c078df7e8ca434a239bb616ed9356d3826a75a06d09f517da9e

Size: 4,184 bytes

Other checksums

Submissions

ntyva9wq
Submitted
Sun, 21 Apr 2024 22:41:29 +0000
Signed by
0xB2C8EDB564786B74

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=12 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1703241194"