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

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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 20 Aug 2023 14:48:11 +0000
Build-Path
/build/coq-dpdgraph-1.0+8.15

First submitted
Mon, 18 Jul 2022 08:26:12 +0000
SHA1 of .buildinfo
bcf303b4332190b715798c87bbff400d99442783

Binaries

coq-dpdgraph-tools (coq-dpdgraph-tools_1.0+8.15-2_arm64.deb)
SHA1: 93c595105213c7ced79b944c7bc8b28ce4390cc8
SHA256: 3ff51307220811201a5022344a93482726e5631e0dbc1e042e1b88d3f7ab42a0

Size: 954,272 bytes
libcoq-dpdgraph (libcoq-dpdgraph_1.0+8.15-2_arm64.deb)
SHA1: ed47bca903f939d698f8d0bb7ff104337a0f8268
SHA256: 134061e6912d0028f616296bdfce49a3f091a1da822d28a0054defc3e36b9ba3

Size: 4,372 bytes
libcoq-dpdgraph-ocaml (libcoq-dpdgraph-ocaml_1.0+8.15-2_arm64.deb)
SHA1: 67db996474bd1758e4d3cd5ced3eb4920d19c9bd
SHA256: 51cbf03a97a0b63473d56a6620f31edd29397404518302f95453bb4a3b289037

Size: 23,752 bytes
libcoq-dpdgraph-ocaml-dbgsym (libcoq-dpdgraph-ocaml-dbgsym_1.0+8.15-2_arm64.deb)
SHA1: c7e6c08324e67e2eb77f420af5200652c011d0dd
SHA256: 8fb6bc40f19b5304fda7a73dc8cc0fc076060c246866b89d74562f90271c3166

Size: 4,980 bytes
libcoq-dpdgraph-ocaml-dev (libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_arm64.deb)
SHA1: a7ca3d22c8d3987a1d7b8ea24e31bd801fd04b0c
SHA256: 46cec8c147f92ad6be5a61a8c027f60aefe3e723fd7089e8801f5e7001ad2e60

Size: 17,364 bytes

Other checksums

Submissions

zzkzuhxx
Submitted
Mon, 18 Jul 2022 08:26:13 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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="1657966552"