coq_8.6-4_armhf.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 17 Sep 2017 09:21:50 +0000
Build-Path
/build/coq-8.6

First submitted
Sun, 17 Sep 2017 11:05:08 +0000
SHA1 of .buildinfo
6558a4572a48cee3d08c1581adf0d5b68d64d570

Binaries

coq (coq_8.6-4_armhf.deb)
SHA1: e7f2ce0e1f13e11a1fb8075b3498212a43c74e27
SHA256: deb3e29205f3734e6b5f06b57c033920a4d0892dfa76adf20acaea4fdca32387

Size: 13,978,428 bytes
coqide (coqide_8.6-4_armhf.deb)
SHA1: dc33e202ebe49c7a63ffbd0f6b4ba2538eb38bc4
SHA256: 77a1c6d6368f8185862f1b2106d6edb0646487b6b0e563d81c0b00c151001f9b

Size: 1,598,636 bytes
coq-theories (coq-theories_8.6-4_armhf.deb)
SHA1: c3c83ccc10637d332dd761665a7363f459c48738
SHA256: caee400082a7f22d6fd50dee39d3079c1f102fa52898862eba050e72161579cc

Size: 22,840,784 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_armhf.deb)
SHA1: 444ee45528c01d40e65353fbe49ace821f3e29c6
SHA256: b8a18acdb8e778988beee9659adf7fda9acceb389889905f1713da479718858c

Size: 3,562,452 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_armhf.deb)
SHA1: c8d77938cda39ba5cc02cbd2801d28ffc9427433
SHA256: 53b033eea5ff23114985a8ed81898c7d9a03fa911b945cc3050fd846065192f2

Size: 14,153,228 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_armhf.deb
SHA1: c598065d32774d94bc90ffec4c88b7b719d5beea
Size: 85,852 bytes
libcoq-ocaml-dbgsym_8.6-4_armhf.deb
SHA1: 769b191f316060423eab823961a5aee1737a363a
Size: 279,828 bytes
coqide-dbgsym_8.6-4_armhf.deb
SHA1: 4e91173a0455cd672830b74277d24e01d3e9be1c
Size: 376,786 bytes
coq-dbgsym_8.6-4_armhf.deb
SHA1: ca14d2cd27574f5ae7e9f775dd972f1b47eee97b
Size: 1,392,616 bytes

Submissions

cwbfofyu
Submitted
Sun, 17 Sep 2017 11:05:08 +0000
Signed by
0xF953D4EB72400A7A cbxi4a (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"