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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 25 Oct 2023 05:50:37 +0000
Build-Path
/build/coq-hammer-1.3.2+8.16

First submitted
Wed, 21 Sep 2022 23:27:49 +0000
SHA1 of .buildinfo
8975807ab5c1982ab706fcec35a96ad2675dee2c

Binaries

libcoq-hammer (libcoq-hammer_1.3.2+8.16-1_amd64.deb)
SHA1: f11d8b3a2280a43893998ab9a5e80a9283c0d825
SHA256: dffa2500ebaed30fa632b5e150959a63afaf67c46db3ad841b899c59849de9a8

Size: 503,560 bytes
libcoq-hammer-dbgsym (libcoq-hammer-dbgsym_1.3.2+8.16-1_amd64.deb)
SHA1: 83794ec7ec52446d3cddd62127e135db3afb48a3
SHA256: 882ffe50f66950234ad812d90b06888e77a5708b59fb9934cc22673a00108ea0

Size: 40,508 bytes

Other checksums

Submissions

4kte7ceh
Submitted
Wed, 21 Sep 2022 23:27:50 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1662387463"