coq-stdpp_1.9.0-1_arm64.buildinfo (view)

Source
coq-stdpp
Version
1.9.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 25 Dec 2023 16:49:24 +0000
Build-Path
/build/reproducible-path/coq-stdpp-1.9.0

First submitted
Mon, 25 Dec 2023 16:49:31 +0000
SHA1 of .buildinfo
22b2bc6ae56b90531d2896eae68dd01b7df6cf0e

Binaries

libcoq-stdpp (libcoq-stdpp_1.9.0-1_arm64.deb)
SHA1: 673dd468d75077e171e87c11a41fae95eaa5fe86
SHA256: 2ca36a48b18678526a58406c09c45fea0446cbba7589e78443aa370c0b93e26f

Size: 4,524,936 bytes

Other checksums

Submissions

3p3etfdf
Submitted
Mon, 25 Dec 2023 16:49:32 +0000
Signed by
0xBF8D76BED99F2426

Environment


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