coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 20 Jun 2018 19:46:24 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Thu, 21 Jun 2018 02:29:18 +0000
SHA1 of .buildinfo
b433efba2a8be324d31cc73cae1d52f020928e4d

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: b31f07fb1c02e593cd39a606d12e758539160d3d
SHA256: 1e0ab748791843432897010d455606e3f4bef69b0549635e09623027ff647d81

Size: 17,038,340 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: e9da9f23580853ddd75ae2e4a50fd2cecae12904
SHA256: 03800fb0595bb15a569fe41800c8afe1c1144c9fce4f0df0367b38279a98c21d

Size: 1,500,172 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: 020cf445ae96caa0ef56650d887e9ae15d89da97
SHA256: 5c0eef0d36d4e9280a030dcba2def9da9bda83e480abf3e221aca8ee4b15d91f

Size: 22,889,452 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: f83e5f895d5a4f12bb30f4b4429323996b80e4ba
SHA256: 6eb9a948ae75a938ace39d282144eebcc38594ea13c6c0e22447302c98a3896d

Size: 3,575,048 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: cd5fd5273306786afddc999a261a094cd71918a6
SHA256: 85d586b392c29f4fb47818836ace6730d3c8611b8801470bd85022e3af1a0edb

Size: 14,380,712 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: 5696aaa3ed837c85a235e1754ce32463c4d0eeab
Size: 104,332 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 3cb17156eede27929bd2e94b7fde99abc2bfd0b0
Size: 328,024 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: b40cec6018c3c5d13ee0e78b49131078ef984ea8
Size: 439,416 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: d279d1096438ab801fc8cdf4a8079773e990ffa4
Size: 1,700,984 bytes

Submissions

jqcewv4q
Submitted
Thu, 21 Jun 2018 02:29:18 +0000
Signed by
0xC49B971902D5E541 rpi2c (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/1st/coq-8.6"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1506416932"