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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 6 Sep 2022 19:46:16 +0000
Build-Path
/build/2/coq-hierarchy-builder-1.3.0/2nd

First submitted
Tue, 6 Sep 2022 19:46:48 +0000
SHA1 of .buildinfo
9b5908644b8671b81e35ba6c14dd84e18ead5036

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.3.0-2_armhf.deb)
SHA1: d95b754f7509420b8cf63d2554bd5ff1dd2080f6
SHA256: 0c06952a956d0c66940565c76db2366be4bc8c8b8dd3c44cb7e7a71a38b03925

Size: 618,940 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.3.0-2_armhf.deb)
SHA1: 2df0a3f93355ff21de338f13e14b9f06796601b9
SHA256: dcee3ab7cf13492923ad6de4cf381deb868c820799b4dfbbb08cfcfcdc90f2bc

Size: 231,172 bytes

Other checksums

Submissions

mstfxknb
Submitted
Tue, 6 Sep 2022 19:46:49 +0000
Signed by
0xA929A85B0F5F1B79

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1662409921"