coq-interval (4.5.2-2)_4.5.2-2+b1_i386.buildinfo (view)

Source
coq-interval (4.5.2-2)
Version
4.5.2-2+b1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 9 Sep 2022 12:25:51 +0000
Build-Path
/build/coq-interval-XussTp/coq-interval-4.5.2

First submitted
Fri, 9 Sep 2022 18:10:54 +0000
SHA1 of .buildinfo
b23a75f407e6e0b6c39fb27c6f9530ce3fb23fe0

Binaries

libcoq-interval (libcoq-interval_4.5.2-2+b1_i386.deb)
SHA1: 8741c6ef262a10518d281eab46321ac83d70998c
SHA256: 4124b76efc57b4bd89be725e4bb364ee39a935bf2734a329011b496894b22c8a

Size: 4,510,128 bytes
libcoq-interval-dbgsym (libcoq-interval-dbgsym_4.5.2-2+b1_i386.deb)
SHA1: 6d21e7cc9e2de0f47541321621d42ec4aecccec4
SHA256: 822061516daffb0f233623663f0d1305967aa9d409cec47a5ae299f0e562589a

Size: 3,756 bytes

Other checksums

Submissions

xsbszkef
Submitted
Fri, 9 Sep 2022 18:10:54 +0000
Signed by
0xD117F10F230B8522

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1662726145"