coq-interval_4.7.0-1_amd64.buildinfo (view)

Source
coq-interval
Version
4.7.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 22 Jul 2024 06:23:32 +0000
Build-Path
/build/2/coq-interval-4.7.0/2nd

First submitted
Tue, 20 Jun 2023 00:01:07 +0000
SHA1 of .buildinfo
e6e0dfd41c12f4d3602f8ffc5204ca29e0b820fd

Binaries

libcoq-interval (libcoq-interval_4.7.0-1_amd64.deb)
SHA1: 904788309796aef975fe0e7bf7e5f2569ae3c98a
SHA256: 7077a621550fa1ad333d23b0039baff6cfe710d636f12095d720a3013403590c

Size: 4,613,196 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.7.0-1_amd64.deb)
SHA1: d3f17665dc7d1b0e3f8ded8c89f784a4b2ed3026
SHA256: eafe4e3503ab732a27dad13c3032af35f068242d308b16f0e9f667d1d2c92ef0

Size: 3,780 bytes

Other checksums

Submissions

v97tbeaw
Submitted
Tue, 20 Jun 2023 00:01:07 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1686806518"