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
Thu, 24 Apr 2025 09:05:05 +0000
Build-Path
/build/reproducible-path/coq-interval-4.9.0

First submitted
Fri, 22 Mar 2024 02:42:14 +0000
SHA1 of .buildinfo
bece29312547f3b3b6c82f32dd3d223772027bbf

Binaries

libcoq-interval (libcoq-interval_4.9.0-1_arm64.deb)
SHA1: 63c557c7dc4e800835fe456501504a3d34597354
SHA256: fc18a8f36bcb4fb66ee197c33ae375975fa7312f5d80d94e4e0689825ac23e1c

Size: 5,800,044 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.9.0-1_arm64.deb)
SHA1: ae63b3973ddafc35ef990ff1b390b5f935216c5d
SHA256: 8bd8e05711c59bdec69fbee5543f4a125883d43e138ab3417c8273e6ee31f3ea

Size: 4,184 bytes

Other checksums

Submissions

ddyqvzxx
Submitted
Fri, 22 Mar 2024 02:42:14 +0000
Signed by
0xB2C8EDB564786B74

Environment


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