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

Source
coq-corn
Version
8.16.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 25 Oct 2022 08:39:39 +0000
Build-Path
/build/2/coq-corn-8.16.0/2nd

First submitted
Tue, 25 Oct 2022 08:39:50 +0000
SHA1 of .buildinfo
dbb6ecedd47a49a77f3e1e743cb882f8d81a0b8e

Binaries

libcoq-corn (libcoq-corn_8.16.0-1_arm64.deb)
SHA1: bf38d5debf73992416313796650510120795679a
SHA256: 6d0190611e4a272c5207e6f5649d25de4f02d9160cdd3f1228361e6e852fb94c

Size: 11,321,148 bytes

Other checksums

Submissions

twya4oc4
Submitted
Tue, 25 Oct 2022 08:39:50 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1662411241"