coq_8.9.1-1_i386.buildinfo (view)

Source
coq
Version
8.9.1-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Wed, 21 Aug 2019 02:53:03 +0000
Build-Path
/build/2/coq-8.9.1/2nd

First submitted
Wed, 21 Aug 2019 05:12:09 +0000
SHA1 of .buildinfo
0933ec3849449d35bd1ff33fb4615931b51aa31d

Binaries

coq (coq_8.9.1-1_i386.deb)
SHA1: 40b0165991faf3bd2a0b60b5da0e0c2165d2e2b0
SHA256: 47b4fc11701373bafd391a2dd9ff019885518c2f476977b3ada0ea267be1e5cf

Size: 56,275,184 bytes
coq-theories (coq-theories_8.9.1-1_i386.deb)
SHA1: c582402c8b779e1c8591c7394e87dbac35fde04b
SHA256: 0235092265e1bb51de989c0c2ef7d7dff2597fcaf0cef926c0c23b62dbfb4c38

Size: 28,404,320 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_i386.deb)
SHA1: 6a2da716ef98529c479a8313dca5e26ec5aebe31
SHA256: 845c9aad498dbc55fce204dda32cd12b005a7d42690e3d8083782b0add868bab

Size: 5,236,656 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_i386.deb)
SHA1: 777135344848c662482ec17f2388a2e0e8e161cc
SHA256: dc7d3122a52d8b0ad2d067d5dca3c03a45886426c2a393ac235d884c62125883

Size: 13,769,964 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_i386.deb
SHA1: ae4ad535bc4550cdc8a2906e761ab44ff074c53b
Size: 524,252 bytes
coq-theories-dbgsym_8.9.1-1_i386.deb
SHA1: 2f2cf399b783b0e20289dbdcce459fe04ed6d3fa
Size: 740,788 bytes
coq-dbgsym_8.9.1-1_i386.deb
SHA1: f7ccf338cd2408a01cf868f1263557eaac9d83fb
Size: 3,622,412 bytes

Submissions

caz3xfxc
Submitted
Wed, 21 Aug 2019 05:12:10 +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="1566270574"