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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 19 Nov 2024 13:23:34 +0000
Build-Path
/build/reproducible-path/coq-dpdgraph-1.0+8.17

First submitted
Wed, 18 Oct 2023 07:00:48 +0000
SHA1 of .buildinfo
20410411b79f28027d2c11385e6a0ff51e98467d

Binaries

coq-dpdgraph-tools (coq-dpdgraph-tools_1.0+8.17-1_arm64.deb)
SHA1: af0335ac41282821096d3fc9618ceaafb0a0f2fe
SHA256: bcebe15f48893c4bc6c05d563a1b48223e22110dd2f4b2011a2a17dcd253ce34

Size: 1,028,768 bytes
libcoq-dpdgraph (libcoq-dpdgraph_1.0+8.17-1_arm64.deb)
SHA1: c146ce0ddf313ec5e36f5e67eb29f21d8b71b35c
SHA256: ea5645cd8c5f176def85fa2a974b17f493b3eced9680df01dfc3b14da3d159ca

Size: 34,864 bytes
libcoq-dpdgraph-dbgsym (libcoq-dpdgraph-dbgsym_1.0+8.17-1_arm64.deb)
SHA1: 624092b00b1ee972c2595cea89756e59566cdccd
SHA256: 4ee170599b05bf093ee7feca215b6c7dc58d32748887b19eaa789e51441d6309

Size: 4,960 bytes

Other checksums

Submissions

gqkyhgqe
Submitted
Wed, 18 Oct 2023 07:00:48 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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="1686590916"