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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 29 Sep 2023 10:46:05 +0000
Build-Path
/build/reproducible-path/coq-hammer-1.3.2+8.17

First submitted
Fri, 29 Sep 2023 10:46:14 +0000
SHA1 of .buildinfo
01f2b7e3e59b196ff7050aa31782d2a014d72681

Binaries

libcoq-hammer (libcoq-hammer_1.3.2+8.17-1_arm64.deb)
SHA1: 2aca73e67ea57bce5a4464680e0173899753f03f
SHA256: c3f4192fc3a746de223aede3814accef6e5c2694cdecc526f1082bfa4cd12fa8

Size: 530,132 bytes
libcoq-hammer-dbgsym (libcoq-hammer-dbgsym_1.3.2+8.17-1_arm64.deb)
SHA1: a07c2baece5ec2b4de365d8efea51f357855ff44
SHA256: ddca723eee6a25cf811d54584f127acab4ed14c086ab3e30bb9f53f631971d6e

Size: 48,564 bytes

Other checksums

Submissions

4foptafa
Submitted
Fri, 29 Sep 2023 10:46:15 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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="1686591010"