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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 23 May 2022 15:12:09 +0000
Build-Path
/build/coq-hierarchy-builder-fQWMv6/coq-hierarchy-builder-1.2.1

First submitted
Mon, 23 May 2022 18:17:11 +0000
SHA1 of .buildinfo
6c3c4aa75d6c44ece4a7fb98b89042c32ab28480

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-9_armhf.deb)
SHA1: 5c8cb1e3af9926a23f4ef4c540fba5319406747b
SHA256: 1814411b7f540ded1f52e88cf73243294c405bcff42f6771790ccf9c0875b66d

Size: 618,828 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-9_armhf.deb)
SHA1: e66a0135189418f8bfe285fc76570beed8b885e9
SHA256: bab6a96682ebdc905dfccc2cd0fe203c5d74620e06ef84492c7375175b4ac017

Size: 218,992 bytes

Other checksums

Submissions

ddaok7mt
Submitted
Mon, 23 May 2022 18:17:11 +0000
Signed by
0xCFDA02A307F2AA5B

Environment


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