coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 3 Jan 2018 03:46:59 +0000
Build-Path
/build/coq-8.6

First submitted
Wed, 3 Jan 2018 06:47:01 +0000
SHA1 of .buildinfo
02c4372db9be0ee1827a1c665bd331a61360edff

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: 8458e3cfe984e43ea7cc4419e29f1b2b1a227b91
SHA256: e9ed0b2e285156ea1de40f4223b1a2224bf6d26928bc5ec832b4b7ecd2472e35

Size: 17,041,616 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 053b52cca636f8e89ff95960a8051447b38d71c2
SHA256: 3895695561fd6b38bf89972571ee0578763c94ca73d7288cba70fd2b99535525

Size: 1,503,060 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: 87637fe43a9b9e78935740d998528d64463174f1
SHA256: d1020786f7476fc6c43333c094ae7f5ac68a26f64d89c5462ae167cd22c3e581

Size: 22,891,736 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: bc6970cd921a84d78cec92b7dff2eefc15de433d
SHA256: 2246d84c86b331adff2a5e222da071e58940522e33d97e800ebff0e04a2a8952

Size: 3,575,472 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: 2a45533f7d0a21fdfa638519d709af62ef33bf68
SHA256: c3c303d3cbe57c6a8476966333405c5827ff067c292d21778af67369beec33fc

Size: 14,369,160 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: 02594f0132330cc6eeb448c87f8db2fa2bcba38e
Size: 104,860 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: f498a37c97d8663355094341795a0348b57c4ee1
Size: 328,220 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: c920cf7f5c21c5e45b22b0abc1d951c8e91cbc9e
Size: 442,484 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 53260f078126eaefeafd4cf075f22efee350cc15
Size: 1,700,132 bytes

Submissions

twwwofmw
Submitted
Wed, 3 Jan 2018 06:47:03 +0000
Signed by
0x7BF7A541C51D4B87 cbxi4pro0 (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="1506416932"