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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 2 Dec 2022 21:01:18 +0000
Build-Path
/build/coq-hammer-1.3.2+8.16

First submitted
Fri, 2 Dec 2022 21:02:17 +0000
SHA1 of .buildinfo
d5aaa702115f5aaa1befd083c9fd783a98bd4747

Binaries

libcoq-hammer (libcoq-hammer_1.3.2+8.16-1_arm64.deb)
SHA1: 9179b1ee0d18b6ae210951eee2ae36156218aaaf
SHA256: e41a81bcd55a56df35e5ca75988c743658248369f9bf1cefb9a9997af092673e

Size: 531,196 bytes
libcoq-hammer-dbgsym (libcoq-hammer-dbgsym_1.3.2+8.16-1_arm64.deb)
SHA1: 84cce8f5a8d69401b4c33ef90f7500821293f4fa
SHA256: 84455687969b35e85328ecbd882331549a0bc184c328cd14309a87bbf60390a5

Size: 48,344 bytes

Other checksums

Submissions

e4utvmiq
Submitted
Fri, 2 Dec 2022 21:02:18 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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="1662387463"