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

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

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 1 Sep 2022 20:53:35 +0000
Build-Path
/build/1st/coq-dpdgraph-1.0+8.15

First submitted
Thu, 1 Sep 2022 20:59:22 +0000
SHA1 of .buildinfo
2c4903e0d385953561d19ae0357507e4818b17bd

Binaries

coq-dpdgraph-tools (coq-dpdgraph-tools_1.0+8.15-2_armhf.deb)
SHA1: c0a39daf5d36699624dcbb1e711df85c3c87c682
SHA256: 27f23198658d3ec03a120acc9517a458993bca6f9ebb39fe1ce3011331747693

Size: 954,636 bytes
libcoq-dpdgraph (libcoq-dpdgraph_1.0+8.15-2_armhf.deb)
SHA1: 892aa953e844be2b9d893f24e77cdb808ebb64b6
SHA256: 5e64b83658ace3ea7a10b0088d8654e582a3295d4977143c7767cd49cc5a71e6

Size: 4,372 bytes
libcoq-dpdgraph-ocaml (libcoq-dpdgraph-ocaml_1.0+8.15-2_armhf.deb)
SHA1: 67eafab1294353344993fbb69395211c757328e2
SHA256: 4e3f155d0190c120f7ceb28a7ed1c0bc5bce3308883dc8cf55a9b5469524e00d

Size: 21,740 bytes
libcoq-dpdgraph-ocaml-dbgsym (libcoq-dpdgraph-ocaml-dbgsym_1.0+8.15-2_armhf.deb)
SHA1: 5b188305c2e957d5f497cd5715a29d00b99728e5
SHA256: 7c4f600b6029833b39ba3c9f8c09ec0cc920bb78ff193f41c471734053d348d6

Size: 5,136 bytes
libcoq-dpdgraph-ocaml-dev (libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_armhf.deb)
SHA1: 3b9418dc0a0837e0fe36b3d60e3cfa7061ef5a06
SHA256: 54c231d3c0e96e46e1337b99ce2766fa34b8e0b508f5b378190611355d388628

Size: 17,364 bytes

Other checksums

Submissions

7diqiswx
Submitted
Thu, 1 Sep 2022 20:59:22 +0000
Signed by
0xAEC7FC78A3E8B530

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1657966552"