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 10:43:27 +0000
Build-Path
/build/coq-hierarchy-builder-0oyls7/coq-hierarchy-builder-1.3.0

First submitted
Tue, 6 Sep 2022 12:15:03 +0000
SHA1 of .buildinfo
67dea83623e49862c50c790dd6fe692daaa7fed8

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: 31d739398c77803c4253e9f46edcf4c399fab47b
SHA256: ed7529b7f3f0f6928a742d586be3cf8ec13cdef7ec593e80c183faa054642040

Size: 225,972 bytes

Other checksums

Submissions

kq4o4ges
Submitted
Tue, 6 Sep 2022 12:15:04 +0000
Signed by
0x0ABE2C4BDD75FBE7

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1662409921"