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
Sat, 27 Feb 2021 12:49:09 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Sun, 26 Jan 2020 10:49:11 +0000
SHA1 of .buildinfo
32aae7418bb57de7440f246ad7e6b91e868eea15

Binaries

coq (coq_8.9.1-3_i386.deb)
SHA1: 02c989240009940e1d4382ad530c65ecc8f2ae2c
SHA256: 56d9abe3b5ff474a6f195f5e6b77c951735e71796a78dd34374bcfb8c065a09b

Size: 66,462,080 bytes
coqide (coqide_8.9.1-3_i386.deb)
SHA1: 5ffdd7c07cfad4f56faa9ca90a38e25dc42bd45a
SHA256: 9bfc10e159bc67e94e0210b365988903bcd31b2019f575e56e21bf51cf0eea0c

Size: 1,681,272 bytes
coq-theories (coq-theories_8.9.1-3_i386.deb)
SHA1: 58eded642b0b77cfcc6dec613b7684c80fb138d2
SHA256: 535be5bc7719a215ce541e9c49a439fe2c595166b5849cbe5ecfebe377695cfa

Size: 28,939,104 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-3_i386.deb)
SHA1: 92266f1fc563b780bf8a31bc30512f61716f39ff
SHA256: eeed6f1017e5ff56af9dbf32a2f19fefeb9bb0e925e4dceffdc6cb8269e04e52

Size: 5,401,468 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-3_i386.deb)
SHA1: 912e736a2762485cbfe9431f2b0d53393cf3b5a8
SHA256: 2fc1ac8ee2e0cb855db53f12bfdc4dd6ed83671385abc72444ccbb338d417ab0

Size: 15,074,848 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-3_i386.deb
SHA1: 61f518370feb917103c5e3febc23e15d2424f8d0
Size: 556,684 bytes
coqide-dbgsym_8.9.1-3_i386.deb
SHA1: 3f0d0a1fba2107edc769f56b06bb2c22132ac1eb
Size: 473,300 bytes
coq-theories-dbgsym_8.9.1-3_i386.deb
SHA1: a112d6e1b1ca171cdf4183449a247cca570b45ee
Size: 738,152 bytes
coq-dbgsym_8.9.1-3_i386.deb
SHA1: 6a7c66a64a9d0c010c9ef0fa57cc12c9dc56dd20
Size: 4,952,992 bytes

Submissions

yrm3ui3x
Submitted
Sun, 26 Jan 2020 10:49:11 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


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