coq_8.9.1-3_i386.buildinfo (view)

Source
coq
Version
8.9.1-3
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Sun, 26 Jan 2020 08:46:07 +0000
Build-Path
/build/2/coq-8.9.1/2nd

First submitted
Sun, 26 Jan 2020 10:49:46 +0000
SHA1 of .buildinfo
92849f0397b126889957050d66c6662e995d9c03

Binaries

coq (coq_8.9.1-3_i386.deb)
SHA1: db325a9818b1a315420431005da88d56c3d2d4ec
SHA256: a4578aef8624c83ef4b07fc143db89b411e51b216e8bdfe3541fa0f4ce58894e

Size: 66,472,288 bytes
coqide (coqide_8.9.1-3_i386.deb)
SHA1: b00722984fe71485d0d9e0022b64a680fdd1b3c1
SHA256: f2ed4ae57ac2a9aeee486368b6c2e0bd7d3079a3392b1effc85a12c5ab96b6a4

Size: 1,679,556 bytes
coq-theories (coq-theories_8.9.1-3_i386.deb)
SHA1: 9796cb5b308fa0c13767963cb8b49bee658d2cb9
SHA256: 73262da6c403f60738819b5f669cb2245cc69d6dc1e986a3374bfbd1935abd6f

Size: 28,950,992 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-3_i386.deb)
SHA1: 24f546c66489ca7140d698afb0b7f76d25130331
SHA256: b03cc613b268a37983f5721dae17729cf58c3d59d7f997e80ec892320024bd3b

Size: 5,401,792 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-3_i386.deb)
SHA1: d811f810c85594dc63fb4fd2758087032412a526
SHA256: 4f2cfba66c53f49928b2c738adc8708349947ba674082b3c8cfc342c8f15c13b

Size: 15,060,720 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-3_i386.deb
SHA1: 991847061a837c3d4cff77b2a3ffc6949c4c8bd2
Size: 556,768 bytes
coqide-dbgsym_8.9.1-3_i386.deb
SHA1: 0880e638d4b2f1dd95ec2b74368c3a2052eefa25
Size: 473,816 bytes
coq-theories-dbgsym_8.9.1-3_i386.deb
SHA1: 39b0df04b37853e88ae361d550e22888c62d76b1
Size: 740,196 bytes
coq-dbgsym_8.9.1-3_i386.deb
SHA1: 1d2dd65993c5b71ea2fc99018f3a27bb53403993
Size: 4,810,508 bytes

Submissions

34tksvmk
Submitted
Sun, 26 Jan 2020 10:49:47 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


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