coq-reduction-effects_0.1.3-2_arm64.buildinfo (view)

Source
coq-reduction-effects
Version
0.1.3-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 28 Jul 2022 03:50:00 +0000
Build-Path
/build/coq-reduction-effects-0.1.3

First submitted
Thu, 28 Jul 2022 03:54:16 +0000
SHA1 of .buildinfo
4bc5b2c9cb095145abe7869471a28446fd8c8fc7

Binaries

libcoq-reduction-effects (libcoq-reduction-effects_0.1.3-2_arm64.deb)
SHA1: 5267075906a29ce3cf17b0747d103b6820b1280e
SHA256: 1165ed839bfae2cbb4bfc86eceaa2e89cf65f6828c6707eb930f84bd80d52373

Size: 13,964 bytes
libcoq-reduction-effects-dbgsym (libcoq-reduction-effects-dbgsym_0.1.3-2_arm64.deb)
SHA1: 266636ed0d9875f517b755bb6078d48e5cf83f91
SHA256: ad2de80012f530767dbcb2215515bc1f310c900a1ae40a889fb6a49161c9e05f

Size: 2,968 bytes

Other checksums

Submissions

p7gyybqn
Submitted
Thu, 28 Jul 2022 03:54:17 +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="1658213753"