coq-dpdgraph_1.0+8.15-2_i386.buildinfo (view)

Source
coq-dpdgraph
Version
1.0+8.15-2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 18 Jul 2022 10:48:45 +0000
Build-Path
/build/coq-dpdgraph-1.0+8.15

First submitted
Mon, 18 Jul 2022 10:49:59 +0000
SHA1 of .buildinfo
261980589d32dcb0067f306c24f7963077898c69

Binaries

coq-dpdgraph-tools (coq-dpdgraph-tools_1.0+8.15-2_i386.deb)
SHA1: a2141a11c9d42776a018aa09e95dde70360256ad
SHA256: 280964258fd4973efe822bfa0bfb33a3722c537a52470429971a6fe1222b0547

Size: 954,572 bytes
libcoq-dpdgraph (libcoq-dpdgraph_1.0+8.15-2_i386.deb)
SHA1: 59dac24beccb1c487b96fabdc4812c8547c33ab6
SHA256: bcdfacb60c2a8f50f07bba73cb4c11e7db6eceedc83c4af24569f6f51e5f7e50

Size: 4,364 bytes
libcoq-dpdgraph-ocaml (libcoq-dpdgraph-ocaml_1.0+8.15-2_i386.deb)
SHA1: e82f368da9e90031343d252ddd64e17dd0bde076
SHA256: e64f43fbdd2178a5bc8913f53215da18f9cb679f9438af01fd26062dfffb97ea

Size: 20,752 bytes
libcoq-dpdgraph-ocaml-dbgsym (libcoq-dpdgraph-ocaml-dbgsym_1.0+8.15-2_i386.deb)
SHA1: ba4cb5c83b0e3783f66a098aa4cc4d1e17f310e4
SHA256: 6726cf0bba9b615d80e7813b4f8fe7af40382ba2028ecc269faf026700b3372b

Size: 4,424 bytes
libcoq-dpdgraph-ocaml-dev (libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_i386.deb)
SHA1: 529148e68d4c3b6a322ac4172d87c9289d571e43
SHA256: 5d57d07c00924644366d24704d142aebc0932a895e630519d89117da5f78c904

Size: 17,364 bytes

Other checksums

Submissions

q4ypoudw
Submitted
Mon, 18 Jul 2022 10:50:00 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1657966552"