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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 1 May 2023 13:50:49 +0000
Build-Path
/build/coq-hierarchy-builder-1.2.1

First submitted
Tue, 29 Mar 2022 07:31:01 +0000
SHA1 of .buildinfo
5115e524687086f1a61c5279bf87e37eeaa633c5

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-3_amd64.deb)
SHA1: 163a509199da97c9ed6e4781ff41ea8c990eea4f
SHA256: e39cc4bedc423b51b149b0db7d2439a77d5b70cd1f33a96125811a8d3557bbd8

Size: 618,500 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-3_amd64.deb)
SHA1: df896afcdf6ff30e213209beb0a983e93851249e
SHA256: b0b2dc72db4d87dd8aa54dde29e081a94d5f9353bf854626a70186ea886282c1

Size: 221,248 bytes

Other checksums

Submissions

uz34q3qp
Submitted
Tue, 29 Mar 2022 07:31:01 +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="1648071518"