coq-hammer_1.3.2+8.16-2_amd64.buildinfo (view)

Source
coq-hammer
Version
1.3.2+8.16-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 30 May 2024 13:28:28 +0000
Build-Path
/build/1st/coq-hammer-1.3.2+8.16

First submitted
Fri, 28 Apr 2023 07:06:54 +0000
SHA1 of .buildinfo
771fb29ee447205567586bf04b7779dc67df747b

Binaries

libcoq-hammer (libcoq-hammer_1.3.2+8.16-2_amd64.deb)
SHA1: e6d3ee8eb3f25527810b25557c1f373b6430a29f
SHA256: f3155d153937c3d5938bdfe84ed28558742409a7c617231b149be834832bcb98

Size: 503,572 bytes
libcoq-hammer-dbgsym (libcoq-hammer-dbgsym_1.3.2+8.16-2_amd64.deb)
SHA1: 371f5075709144f79ef77efee069d1040e4a2dad
SHA256: cc7430ddf9d89b22d643046dbd451a0fdf7ba6b0fad252c7a2d195ca336f9c49

Size: 40,688 bytes

Other checksums

Submissions

wqevcraa
Submitted
Fri, 28 Apr 2023 07:06:55 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1674629431"