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
Fri, 5 Jan 2024 03:35:40 +0000
Build-Path
/build/coq-dpdgraph-1.0+8.16

First submitted
Fri, 2 Dec 2022 21:14:44 +0000
SHA1 of .buildinfo
f0d7470e93167f5993a746273b8ba3740f88db57

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: e8ce687c246fa144d2c992ebbeec97fd3c8e8164
SHA256: dfd912becb081065c1816e9957cbe6c0c24a924cc94f6524330ea8890a871869

Size: 34,212 bytes
libcoq-dpdgraph-dbgsym (libcoq-dpdgraph-dbgsym_1.0+8.16-1_arm64.deb)
SHA1: 131eccc77a72e89f43fe6867532d8cda9ebd226a
SHA256: f22d5828a33b9e7985411cd322c12d9393db28a6fd17604aa2b59c49ebd260b4

Size: 4,996 bytes

Other checksums

Submissions

avdhqzr3
Submitted
Fri, 2 Dec 2022 21:14:46 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"