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

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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 5 May 2022 06:58:58 +0000
Build-Path
/build/2/coq-hierarchy-builder-1.2.1/2nd

First submitted
Thu, 5 May 2022 06:59:05 +0000
SHA1 of .buildinfo
edc23d15b7d810de6d1f90fa2034b7598655390a

Binaries

coq-hierarchy-builder (coq-hierarchy-builder_1.2.1-4_amd64.deb)
SHA1: 8888194ab3cc82d11e81373bd1dce78b826a4edf
SHA256: 5d370b1b0ea150ddb207db8b3d3d76165f9e5f09538c6b7dac11b1a79d7a5197

Size: 618,720 bytes
libcoq-hierarchy-builder (libcoq-hierarchy-builder_1.2.1-4_amd64.deb)
SHA1: 74a45b3d48beb2a069be803fc9d5cbd095d4220d
SHA256: c4ce29e23b0e639f63e202da6784c6ceb94c5d8f2e71d2c61d0cdef05449f8b2

Size: 221,400 bytes

Other checksums

Submissions

ssaqbhoi
Submitted
Thu, 5 May 2022 06:59:05 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-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="1649853675"