coq-stdpp_1.8.0-4_arm64.buildinfo (view)

Source
coq-stdpp
Version
1.8.0-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 24 Jun 2023 20:15:50 +0000
Build-Path
/build/coq-stdpp-1.8.0

First submitted
Sat, 24 Jun 2023 20:16:02 +0000
SHA1 of .buildinfo
573f027bfb25cb4dee1aee58e7464fe9b74a5559

Binaries

libcoq-stdpp (libcoq-stdpp_1.8.0-4_arm64.deb)
SHA1: e0380e1f3c00d058122c5690b64776d83b83b5e6
SHA256: bd99c4c8a982500112e0bc57f049a87266fc83d2aaecf0af8c3def8c0856e053

Size: 4,049,500 bytes

Other checksums

Submissions

ydmpjkdx
Submitted
Sat, 24 Jun 2023 20:16:02 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1686591218"