coq-hammer (1.3.2+8.16-1)_1.3.2+8.16-1+b2_armhf.buildinfo (view)

Source
coq-hammer (1.3.2+8.16-1)
Version
1.3.2+8.16-1+b2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 24 Jan 2023 01:02:40 +0000
Build-Path
/build/coq-hammer-mqE4cd/coq-hammer-1.3.2+8.16

First submitted
Tue, 24 Jan 2023 06:17:22 +0000
SHA1 of .buildinfo
6fee80e7664b3acc117ccabf49155f69109dcb65

Binaries

libcoq-hammer (libcoq-hammer_1.3.2+8.16-1+b2_armhf.deb)
SHA1: 85776141e710a06501944178c757836ed1e0c84f
SHA256: e0d296456f251bc6d4423e415896668dc8e571d891963ffc61ed767ce4c5569d

Size: 492,908 bytes
libcoq-hammer-dbgsym (libcoq-hammer-dbgsym_1.3.2+8.16-1+b2_armhf.deb)
SHA1: 2586355c581aee209e8c4aba7542ef1704a5cc14
SHA256: 0e97bcbd6d5ee53a09a868c004b9371baadde9f977ef76007a823b308d4d710c

Size: 47,108 bytes

Other checksums

Submissions

ovb4hzsq
Submitted
Tue, 24 Jan 2023 06:17:22 +0000
Signed by
0x61F9D2915A10ACD9

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1674522118"