coq-stdpp_1.8.0-3_armhf.buildinfo (view)

Source
coq-stdpp
Version
1.8.0-3
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 25 Jan 2023 22:11:31 +0000
Build-Path
/build/2/coq-stdpp-1.8.0/2nd

First submitted
Wed, 25 Jan 2023 22:12:31 +0000
SHA1 of .buildinfo
1f5a297e9a6546077abcd72d4bb34a9d39f45d73

Binaries

libcoq-stdpp (libcoq-stdpp_1.8.0-3_armhf.deb)
SHA1: d69dd8dcd22b5ef48d9ed652ee76cc58c0c3f551
SHA256: d48572e1d615e51486da54d0c7238dedab67b9727bddf296727fae77fd2c2e47

Size: 4,058,520 bytes

Other checksums

Submissions

xevqinyn
Submitted
Wed, 25 Jan 2023 22:12:32 +0000
Signed by
0x4F15D07E60F07CB2

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1674632383"