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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 26 Jun 2023 17:25:19 +0000
Build-Path
/build/1st/coq-hierarchy-builder-1.2.1

First submitted
Tue, 24 May 2022 12:28:01 +0000
SHA1 of .buildinfo
0dd3bbeb5eee1e2f55a6983f678e95334500f871

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-9_amd64.deb)
SHA1: 15a4dae066ee0cdf5b5cbbd5b96109cd69d5bc98
SHA256: a0b790bdfa9a3c4379b3d1120bd7a5a1561c3e1bcfaa3a103bd10424e48f8d9b

Size: 618,828 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-9_amd64.deb)
SHA1: 06c0498d24f3372294ccbf06d6a6d37f325460e2
SHA256: f97212aa40463d8f8399bfa75d21b506d52f5f0485d1d63d5437a6de7b4c7ccd

Size: 218,968 bytes

Other checksums

Submissions

pafdzqh4
Submitted
Tue, 24 May 2022 12:28:02 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1653315520"