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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 25 Jan 2023 07:45:28 +0000
Build-Path
/build/coq-hammer-yM1U1G/coq-hammer-1.3.2+8.16

First submitted
Wed, 25 Jan 2023 12:12:06 +0000
SHA1 of .buildinfo
1b605eb0b86af5fd52d20a49f808871e4be14071

Binaries

libcoq-hammer (libcoq-hammer_1.3.2+8.16-2_arm64.deb)
SHA1: 713aef2acd77955d6ba1e0cfada2abb687da07d3
SHA256: 9dff10576708700ccb255b782ba2622f896032c79b3492e89e54a7ef1ea12553

Size: 531,284 bytes
libcoq-hammer-dbgsym (libcoq-hammer-dbgsym_1.3.2+8.16-2_arm64.deb)
SHA1: 0cc9510dc27a6635aec9b9c88bd0eebbaa673413
SHA256: 10ee13139393510157804fbe8a339b294cd3b67dc520e41f6000f7c00040ceee

Size: 48,352 bytes

Other checksums

Submissions

qaprxnjc
Submitted
Wed, 25 Jan 2023 12:12:06 +0000
Signed by
0x30BF7EF02793E9C6

Environment


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