coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 25 Jun 2018 14:53:25 +0000
Build-Path
/build/coq-8.6

First submitted
Mon, 25 Jun 2018 15:24:14 +0000
SHA1 of .buildinfo
a4c6c92cf39c257e8d5cbbdec2ad5a9eb8d7f217

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: 424e09390805a88dcfd6767b02044f6f24afd5a9
SHA256: c40aef2bdd3ef48c9dc88378cafb63c5224626d9bc2c1df5032960cd23ceeb6d

Size: 17,034,916 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 4d5d1636289cc10d071f251e257e37bf2bd41011
SHA256: 1b65a5421879629a283564eedffb47b151a34893906916e39f1fa96273375a8c

Size: 1,500,712 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: 9a57e3c537621b4402dc6615ab0a946a5b9a05e5
SHA256: 2b41c2f5e4dce73110bbb203da3c317528e4d64976d6cb713a84c87c4833838c

Size: 22,885,684 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: 06f95fa8ddd9071dc817e47b2a32dc2cca040b42
SHA256: be9cf94fff91064bd9f27a0cdf7b7dfab7fdf9a8eb48a9fa1ff92af5c94f418b

Size: 3,575,712 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: 41e8c8d3dac15d53e0f389907e3cca6143e1f957
SHA256: 04c95c0c9700300ed57c66af6521fd7ec4862463257ecbb9e5b43b022f93fefa

Size: 14,378,516 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: ee173b5da15d957890e78568c535a1ecd246aaaa
Size: 104,276 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 5c3fbcccc946e87f02f0c7fb59faacb421764c72
Size: 329,060 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: 6f7b6e43d7e7817f1828c8321efbe9b898efa917
Size: 443,500 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 1b1e90ab75fea257351b0dfe5ab9bec5a9b47303
Size: 1,690,852 bytes

Submissions

sfqug9ss
Submitted
Mon, 25 Jun 2018 15:24:15 +0000
Signed by
0x923D584899E35CB7 jtx1c (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"