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

Source
coq-corn
Version
8.13.0-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 19 Jul 2022 08:01:05 +0000
Build-Path
/build/1st/coq-corn-8.13.0

First submitted
Tue, 19 Jul 2022 08:59:51 +0000
SHA1 of .buildinfo
922323d5c29fb79dbe61ed507b42b60cda46b2f8

Binaries

libcoq-corn (libcoq-corn_8.13.0-1_arm64.deb)
SHA1: 34cfca7ca698c78be3f4d31cea163c962afbc2e9
SHA256: 946fa0a46d3a822827678ca1e2cb730221cee5a6ce59296ab2f563a5f75e2a55

Size: 11,269,944 bytes

Other checksums

Submissions

etpai4vk
Submitted
Tue, 19 Jul 2022 08:59:52 +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="1657879454"