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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 18 Apr 2023 08:21:48 +0000
Build-Path
/build/coq-hammer-1.3.2+8.16

First submitted
Tue, 18 Apr 2023 08:28:14 +0000
SHA1 of .buildinfo
78cb49009cad677b5d8c653ab92b04c2f091e26c

Binaries

libcoq-hammer (libcoq-hammer_1.3.2+8.16-2_armhf.deb)
SHA1: 81001dd48ccc9dd2c2a5ac8e0ae9d12b6b6c50a3
SHA256: 865eef9ed42d873453769928a95a59878c9e08e4d04fb355250c008b669c2445

Size: 492,484 bytes
libcoq-hammer-dbgsym (libcoq-hammer-dbgsym_1.3.2+8.16-2_armhf.deb)
SHA1: 2ff30b3d9163a171f7a2879d8fb0f4c10c69cd7b
SHA256: 3fddebfe7fed66103f2cda8dfc291b394606822ed80d18245265942631bd3712

Size: 46,992 bytes

Other checksums

Submissions

cynca4ez
Submitted
Tue, 18 Apr 2023 08:28:15 +0000
Signed by
0xAEC7FC78A3E8B530

Environment


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