coq-hierarchy-builder_1.2.1-2_armhf.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.2.1-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 24 Mar 2022 00:28:52 +0000
Build-Path
/build/coq-hierarchy-builder-1.2.1

First submitted
Thu, 24 Mar 2022 00:45:48 +0000
SHA1 of .buildinfo
7003904fdd1bd3561cd5e1371ecb80e859dc2b50

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-2_armhf.deb)
SHA1: 2fae7f76f49d9b10216cb1fecdc1d1f910bb321b
SHA256: 9275a42c2ca8d681907f70b5a27074f64649ed3a1abb5ce8175af0b2fb8eb92b

Size: 618,284 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-2_armhf.deb)
SHA1: d180ffc2db7a0bc17fe6df4eadd27045e4edbce3
SHA256: fd6ec7116b1328f1f1fae260bb0167dab4429f3a94ce6ba652cde395707c11a9

Size: 221,228 bytes

Other checksums

Submissions

7yqx7ukq
Submitted
Thu, 24 Mar 2022 00:45:49 +0000
Signed by
0x9538881E43D098FB jtx1b (Automatically generated key for signing .buildinfo files)

Environment


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