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
Tue, 6 Sep 2022 04:20:18 +0000
Build-Path
/build/coq-dpdgraph-1.0+8.15

First submitted
Tue, 6 Sep 2022 04:21:31 +0000
SHA1 of .buildinfo
25ec156e662907c6ccf08f6495d62d21f6d02d52

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: 16d6d521bfb97b122c006331ce3d8f125a612d6d
SHA256: 1ae2593a620cf20533b27c6c46ea46faa60f8267a35b52cfd675dd1dd5183a23

Size: 4,360 bytes
libcoq-dpdgraph-ocaml (libcoq-dpdgraph-ocaml_1.0+8.15-2_i386.deb)
SHA1: 71e1622fbf4862c4e1b36b6363a229efbc2e889e
SHA256: 29516237647e1aa36b56d8e137a2b72ac9d3fba6ef2d6bae23df117cfed85295

Size: 20,760 bytes
libcoq-dpdgraph-ocaml-dbgsym (libcoq-dpdgraph-ocaml-dbgsym_1.0+8.15-2_i386.deb)
SHA1: b710344017c5b1f41cbd687ecbcca75728f8ab5f
SHA256: bad1a2135af58e98272e52e78405f80222a0152d7d6a8507b07bbb4ffb26dd3d

Size: 4,416 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

omxv3wbd
Submitted
Tue, 6 Sep 2022 04:21:31 +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"