coq_8.6-4_armhf.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 3 May 2017 13:51:35 +0000
Build-Path
/build/coq-8.6

First submitted
Wed, 3 May 2017 15:46:40 +0000
SHA1 of .buildinfo
bdaba80b4fce1ba61a6b8ffea10f390c74ff00ef

Binaries

coq (coq_8.6-4_armhf.deb)
SHA1: daf09e2b8a7e0b6e05fcad70003bdc5c86b6a337
SHA256: c46293f90bc64979c0aebac77ca7e9abe420e3b0dd52a85fe8ce5b294aca1568

Size: 13,917,384 bytes
coqide (coqide_8.6-4_armhf.deb)
SHA1: 5739b5a9ed1b9d6a0fa7f1cf64449fb78fbf47ac
SHA256: 8df1df417631d14ec5faf531c4187c68a0ffcf0d2130259d3c82c47427813de2

Size: 1,471,970 bytes
coq-theories (coq-theories_8.6-4_armhf.deb)
SHA1: 18fff71de04a8cee9a636d1c16d75dc0f238ef6e
SHA256: 3342a2c7e5b0c2c14754f63fbaa2aece3690a1ce2f7519385f5f05ddcacfba41

Size: 22,844,256 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_armhf.deb)
SHA1: 6268fc0cc8915d46cb1c7a158d0153d31acdc430
SHA256: a5a236ede280158a13f85a6f86da83af3909f98ec5b0dde44d448763747134da

Size: 3,563,338 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_armhf.deb)
SHA1: f6ebc22dbf04d12ccf376568b23bf21fbfa8a6b6
SHA256: 343ed206f3d73828cf03c37ab68ff7c664482c4f7fb9d3ffda2e7409f832f5df

Size: 14,153,244 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: 8dd6d9bf2df73adf156a160aab2998d733def73d
Size: 85,896 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: f5445ad10d0834f069ab5fb745aa99e163371b04
Size: 283,932 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: ea5f7503e6add40765d5dc2af1804e7a58d6838a
Size: 376,508 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: 446a736af8de0dfc6b3b36384d83a402ba84a2c0
Size: 1,432,508 bytes

Submissions

ijbckavm
Submitted
Wed, 3 May 2017 15:46:40 +0000
Signed by
0xF8FAD05CE1845E42 wbq0 (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"