coq-hierarchy-builder_1.4.0-5_amd64.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.4.0-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 5 Jul 2023 08:54:22 +0000
Build-Path
/build/coq-hierarchy-builder-cOlw9c/coq-hierarchy-builder-1.4.0

First submitted
Wed, 5 Jul 2023 12:11:52 +0000
SHA1 of .buildinfo
37b1ebb56c73e731ececa3ef491d258b5d61bef2

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.4.0-5_amd64.deb)
SHA1: fa16b8dafe645f6e218a7310ccc4fb7a1c0cea88
SHA256: f555bdd6ad813c37a59ee72dd5d8fe14f01bb600df5542c186b7edd53f917c8d

Size: 619,364 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.4.0-5_amd64.deb)
SHA1: 8a7c6ac1d55d164a5ab19d3a66ac67d7178213d1
SHA256: e8b388f1c061c507a5bda346ee21ac09f5a0c14e1de6d0ca8d09d7f1a095358a

Size: 239,928 bytes

Other checksums

Submissions

bzgpudv7
Submitted
Wed, 5 Jul 2023 12:11:53 +0000
Signed by
0xA57296EC987C3292

Environment


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