coq-corn_8.16.0-1_amd64.buildinfo (view)

Source
coq-corn
Version
8.16.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 19 Oct 2022 04:42:20 +0000
Build-Path
/build/1st/coq-corn-8.16.0

First submitted
Wed, 19 Oct 2022 05:04:35 +0000
SHA1 of .buildinfo
bd1f23555b891c6b2ff1f27ec76a7793ce0ba8b7

Binaries

libcoq-corn (libcoq-corn_8.16.0-1_amd64.deb)
SHA1: 057d3be205a824563a9ff2e6ddbb713ad60ed4c5
SHA256: 6b47e628c5e79769b9a97905bc5e7ff86f7a12200c1a1879f1869e3c5b92f624

Size: 11,319,936 bytes

Other checksums

Submissions

obcs9sjn
Submitted
Wed, 19 Oct 2022 05:04:36 +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="1662411241"