coq-hierarchy-builder_1.3.0-1_amd64.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.3.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 30 Jul 2022 16:23:19 +0000
Build-Path
/build/coq-hierarchy-builder-ANIOfT/coq-hierarchy-builder-1.3.0

First submitted
Sat, 30 Jul 2022 18:18:22 +0000
SHA1 of .buildinfo
973d8a8741a3fd4559d0646abc093181a38effd5

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.3.0-1_amd64.deb)
SHA1: 27832c63797ef775771044a84b6d76ba22bc55f9
SHA256: 104839950ed8d63dce6aa54fa7922f39784c6a4288d4848a2ed2341c4966920a

Size: 619,008 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.3.0-1_amd64.deb)
SHA1: 731cb7071c24312fd9a4bceb98edd76d7a5434e3
SHA256: 07c0419621bd05c1be52d009a163c0a83f4364b8273464011b669caa04b4c1b1

Size: 226,048 bytes

Other checksums

Submissions

gfsvu7ze
Submitted
Sat, 30 Jul 2022 18:18:22 +0000
Signed by
0xA57296EC987C3292

Environment


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