coq_8.6-4_armhf.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 22 Jul 2017 19:44:42 +0000
Build-Path
/build/coq-8.6

First submitted
Sat, 22 Jul 2017 20:04:50 +0000
SHA1 of .buildinfo
37572acbe4c8445d14e14959959d17b3703fd6a0

Binaries

coq (coq_8.6-4_armhf.deb)
SHA1: 218bca12d83a7dcb50eaa89fe0587aae5c516295
SHA256: a26f86d22cd28ff3800c58afa224fccd768c4a328a23fcc533e21ce59be81d42

Size: 13,917,552 bytes
coqide (coqide_8.6-4_armhf.deb)
SHA1: 2b9c0edec54ee508b9c0445ea66c883eb34a5999
SHA256: a0a37d827919971f9001d2d4423e0c0f2063f89cb8cb1d68aa761ea44bf52cd2

Size: 1,471,638 bytes
coq-theories (coq-theories_8.6-4_armhf.deb)
SHA1: cfada68bcafbf5789d5189edae7de707cf1426f5
SHA256: 13f7e6523f36fe2163c87fdafcded93b88cd3883e5609689008782f2449096aa

Size: 22,844,282 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_armhf.deb)
SHA1: 6ebfd5fec721fba4cbda2c4031d67074115354bf
SHA256: 22c45ef88741cf3c8dc8c99829106079559cd5283097fefd1dd5178135827b04

Size: 3,564,190 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_armhf.deb)
SHA1: a8fcb3f43e47a8578ee924075ded893b732aa71d
SHA256: 2bab4828535fd2fea1579c1c0488230f6a6f5a8f51386d7025f91375f6ed02a6

Size: 14,155,872 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: a03c7cfc30a7794dea10a2291e756a5f5176fb8f
Size: 86,204 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: 4d53d773b7c7f74a9db02073a4b1636c6d494652
Size: 283,356 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: 64950ea192ea73b38ffde951a6128472083e77b2
Size: 374,348 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: e7923a3a94eae4fbafe55d025cd8d86b5f56248d
Size: 1,419,092 bytes

Submissions

urfu3aot
Submitted
Sat, 22 Jul 2017 20:04:50 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1483051547"