coq-hierarchy-builder_1.6.0-1_i386.buildinfo (view)

Source
coq-hierarchy-builder
Version
1.6.0-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sat, 17 Feb 2024 16:56:21 +0000
Build-Path
/build/reproducible-path/coq-hierarchy-builder-1.6.0

First submitted
Sat, 17 Feb 2024 16:56:32 +0000
SHA1 of .buildinfo
c59f2f00a1734571066fc1a043efae9274202f62

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.6.0-1_i386.deb)
SHA1: bb5f6768627dd6432871df54f7cef952961780c6
SHA256: 96f876a0ee6d50bbcc4225727fe303b2b06a7094fcde13d538d1d2b1459c1211

Size: 662,020 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.6.0-1_i386.deb)
SHA1: 2db7a23c90b9a2c491b6e4a8f39bc7cdc619df61
SHA256: ec32bd8c89c3cc5abc5c27cdfd2b0bcdde9e0ea6e87b8d12a97cc72bf51a5c92

Size: 243,812 bytes

Other checksums

Submissions

seydxrvm
Submitted
Sat, 17 Feb 2024 16:56:32 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=7 "
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1703174338"