coq_8.5-2_armhf.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 20 Dec 2016 23:02:42 +0000
Build-Path
/build/coq-8.5

First submitted
Wed, 21 Dec 2016 01:55:16 +0000
SHA1 of .buildinfo
b246c116b4bbb77bd91d679b9616253d428743ef

Binaries

coq (coq_8.5-2_armhf.deb)
SHA1: 1e78da1925c5c1bb32c6d5df347e4e2a46768b43
SHA256: 184328d312fb0952b9f9ae8764bb1f9f8b29f8f17ad78a5853adf714842bd4d7

Size: 13,544,250 bytes
coqide (coqide_8.5-2_armhf.deb)
SHA1: 7ff21ef5c2c5e2c79fa2b989bac8cd584ebc3cd3
SHA256: 0c66a256edcbb5e876df4ee7e2646987a75fdc502162d0dcec7d58aa51f5785f

Size: 1,341,380 bytes
coq-theories (coq-theories_8.5-2_armhf.deb)
SHA1: 5690ecafe8bf71385ca8102c3ac46aa09758122c
SHA256: 7b18b8eeb768f58618a7b65e0da6db0e2bcdc4853dc040f7ec4bf07ca3ccf83a

Size: 24,186,724 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_armhf.deb)
SHA1: 487ca8785e309b21a7cf43a792b86b91a6430e2f
SHA256: 8f767797a917cda110035326baaeedae7122c95ac23391320955e2e688ad4091

Size: 3,491,600 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_armhf.deb)
SHA1: f605948fdda56c0260097cc2e6a55a3c9611ecc4
SHA256: db9952e80838cef2b8055cb8d267d8a923ca9615870bd2ae157556c067b4fb21

Size: 14,284,712 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_armhf.deb
SHA1: 16f9d158e3c31ae3a4b270c828474f6eefb22984
Size: 89,356 bytes
libcoq-ocaml-dbgsym_8.5-2_armhf.deb
SHA1: f6513ae07fee71b964998d1ead8f7748b8839874
Size: 274,280 bytes
coqide-dbgsym_8.5-2_armhf.deb
SHA1: 71cf5450a0b772234f75c1a474ddcb3fdb7a974e
Size: 362,410 bytes
coq-dbgsym_8.5-2_armhf.deb
SHA1: cb56c4811e6239754468fca48b546ae9477a5973
Size: 1,421,298 bytes

Submissions

huyyjnkq
Submitted
Wed, 21 Dec 2016 01:55:17 +0000
Signed by
0x8D1C4325E9E3C0CC opi2c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1453978027"