coq_8.6-4_armhf.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 24 Dec 2017 12:00:06 +0000
Build-Path
/build/coq-8.6

First submitted
Sun, 24 Dec 2017 12:31:36 +0000
SHA1 of .buildinfo
ee48d0e66d85fc6aa3b9843036ae5a56bace25d2

Binaries

coq (coq_8.6-4_armhf.deb)
SHA1: 82bb870263003110427593fc9f86a41c5e90901d
SHA256: 001678aa491e2a963065319587cd256dec0d79d849561682e1c664f0dc6d1c80

Size: 13,922,162 bytes
coqide (coqide_8.6-4_armhf.deb)
SHA1: b88bb95936e26ea51a271a682a6d7e65f7776b92
SHA256: 6cf8693a3c973e97d02b5e47eff254c2c45e3b90de0d89a72fc55ed2002d8a66

Size: 1,473,566 bytes
coq-theories (coq-theories_8.6-4_armhf.deb)
SHA1: c2db625033282aeca6c9fac4b071874734176ea3
SHA256: fbe65eae0b11519e3dda6657f4ced0463bb6fe01ccc4cf0a68b2d3b3cf21e9b9

Size: 22,844,280 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_armhf.deb)
SHA1: 76a3c555fd89fd4b57b71a82667ff624c0fa4ac7
SHA256: 0cd7b485666644dd3f9f61ba2269f9693989ca1c4adfa5a56db34e70686651b1

Size: 3,563,230 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_armhf.deb)
SHA1: 1c43deaefa024353d9fc35d11dcb80696e296853
SHA256: be60cc9e0d91f20d38fe2efa01d47bedad3d9da8d741abb58ad3471b3989be09

Size: 14,153,856 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: 25292658fe97e35b3899087b7a6a30ab36821e96
Size: 86,416 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: eb543ce8d3bc7befe3b7dea141490c1f00f05de9
Size: 283,896 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: 48223584416399d0e72d54cc716a45ebb8ed40bb
Size: 375,560 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: d579ec7d22c2eeea39c1f400d5f4b180704d6484
Size: 1,448,892 bytes

Submissions

cjfhtqhu
Submitted
Sun, 24 Dec 2017 12:31:36 +0000
Signed by
0x4EE7D57983E7F103 ff2b (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"