coq-dpdgraph_1.0+8.16-1_arm64.buildinfo (view)

Source
coq-dpdgraph
Version
1.0+8.16-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 25 Oct 2022 04:21:59 +0000
Build-Path
/build/1st/coq-dpdgraph-1.0+8.16

First submitted
Tue, 25 Oct 2022 04:24:45 +0000
SHA1 of .buildinfo
17124a1362ca2de1c5e7c611bf2d21f27dbbd59d

Binaries

coq-dpdgraph-tools (coq-dpdgraph-tools_1.0+8.16-1_arm64.deb)
SHA1: b9bfc2433d10ed6d2d31e21613851381cbf42b48
SHA256: ba1591a85d92a6300b83a816191086eeaaeef0ce1ffd9a215583d56b4d6482bd

Size: 954,272 bytes
libcoq-dpdgraph (libcoq-dpdgraph_1.0+8.16-1_arm64.deb)
SHA1: 69f114e99c597901c40d20fca0dfbe12b24b8716
SHA256: ba29ba016069d9d3c46aca963109ed4990a5562b4dc916c277bed4445d6af4c6

Size: 34,172 bytes
libcoq-dpdgraph-dbgsym (libcoq-dpdgraph-dbgsym_1.0+8.16-1_arm64.deb)
SHA1: f3ded58c4382e80b04c72c4b0220d4aeb69c7b66
SHA256: 964bdc99840ed12b64809c0492d94e1a826e65e5fdce6211423e36de94a2cef5

Size: 4,984 bytes

Other checksums

Submissions

c7ooihem
Submitted
Tue, 25 Oct 2022 04:24:45 +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="1661179061"