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
Fri, 19 Apr 2024 22:09:06 +0000
Build-Path
/build/reproducible-path/coq-interval-4.9.0

First submitted
Fri, 19 Apr 2024 22:13:45 +0000
SHA1 of .buildinfo
e7fb3860bfb72f120f723c2293350b534a208443

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

dwrd4udj
Submitted
Fri, 19 Apr 2024 22:13:45 +0000
Signed by
0xF088F61B03D475A8

Environment


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