coq-hammer_1.3.2+8.16-1_i386.buildinfo (view)

Source
coq-hammer
Version
1.3.2+8.16-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 13 Oct 2023 03:42:53 +0000
Build-Path
/build/2/coq-hammer-1.3.2+8.16/2nd

First submitted
Fri, 9 Sep 2022 21:20:06 +0000
SHA1 of .buildinfo
527e5fe343b04db00e69734d93d5e287089ebaa1

Binaries

libcoq-hammer (libcoq-hammer_1.3.2+8.16-1_i386.deb)
SHA1: 292e82e1c26c73ac590045e94969d03298b302f5
SHA256: c248f407a07051e3cd2d55ba0cc446d5263f476765595dab36833c469e5b0b36

Size: 482,108 bytes
libcoq-hammer-dbgsym (libcoq-hammer-dbgsym_1.3.2+8.16-1_i386.deb)
SHA1: a86ee942522e065ef1017cf0d126a1155f050850
SHA256: 8d08db3823543a7a6c389715a667be4dc6a6f5a71ff4bda90e4413c883c94612

Size: 40,084 bytes

Other checksums

Submissions

rv7aatbp
Submitted
Fri, 9 Sep 2022 21:20:06 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1662387463"