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 17:27:45 +0000
Build-Path
/build/1st/coq-hierarchy-builder-1.4.0

First submitted
Wed, 5 Jul 2023 17:32:24 +0000
SHA1 of .buildinfo
622e66d6effdf485bfd9222d511cd145af8a24d3

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: 867955e7cef586a814168e7651db5ff13e14bdf1
SHA256: e337a92a7f942f5c1be30cb002a72bd1b35d3b783729c2bd126fb29a4496dad9

Size: 239,892 bytes

Other checksums

Submissions

rivg9ioe
Submitted
Wed, 5 Jul 2023 17:32:24 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15 "
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1688544444"