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:45:25 +0000
Build-Path
/build/reproducible-path/coq-stdpp-1.9.0

First submitted
Mon, 25 Dec 2023 16:49:29 +0000
SHA1 of .buildinfo
69c3678d1ef5a614a3a74296481105070cc14771

Binaries

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

Size: 4,524,936 bytes

Other checksums

Submissions

r3m9p9w4
Submitted
Mon, 25 Dec 2023 16:49:31 +0000
Signed by
0xF088F61B03D475A8

Environment


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