coq-dpdgraph_1.0+8.16-2_amd64.buildinfo (view)

Source
coq-dpdgraph
Version
1.0+8.16-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 2 May 2023 17:00:04 +0000
Build-Path
/build/2/coq-dpdgraph-1.0+8.16/2nd

First submitted
Tue, 2 May 2023 17:00:13 +0000
SHA1 of .buildinfo
97e38c9a122772fe7c014b58055ff5d8f43be1ac

Binaries

coq-dpdgraph-tools (coq-dpdgraph-tools_1.0+8.16-2_amd64.deb)
SHA1: 1baedcb023953858681f75790e8d101acdc762d2
SHA256: 8303f2a11843fb311221c24ec9b2e4429e0b16b653977c523ea34961f5e4031c

Size: 954,536 bytes
libcoq-dpdgraph (libcoq-dpdgraph_1.0+8.16-2_amd64.deb)
SHA1: 73969541b5e5cab2eb0be3c58bca4976bcad44b4
SHA256: fe49a07044a313999de252c874d9c22cf2882a2c9989baa30c8c26c7c81614dd

Size: 32,796 bytes
libcoq-dpdgraph-dbgsym (libcoq-dpdgraph-dbgsym_1.0+8.16-2_amd64.deb)
SHA1: b95b7f133696257e0956ff1c0e678c801f1490e2
SHA256: 89e8e0c7ddb7c610ee953283894b8e50562139a9ea1a48926c0ffe0f99a70e57

Size: 4,516 bytes

Other checksums

Submissions

bfueqyok
Submitted
Tue, 2 May 2023 17:00:13 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1674628957"