coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 17 Dec 2017 20:38:59 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Sun, 17 Dec 2017 22:56:20 +0000
SHA1 of .buildinfo
4af19a91e55d52743d75b21a30766fa194f57025

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: 96be5540ffa262004d666234815886974c6244a6
SHA256: 3ca5b6c1b8c4d7b944238843ced2d0509ebb223bed53dc52eee86b70ee9e2c40

Size: 17,042,396 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: b5c0ff252ab6316fc741815059b917bdf2cf08cf
SHA256: 674e8934e1d17f069bdc59eb492f5a7f638106418f1421626f9fdb1a8fd262e5

Size: 1,503,360 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: e9c11f1b20ebd94415af4f07d69fd4518028731f
SHA256: 554028b13465bae7ee6ec2eb3cf20d09bcb3518308b87e3c14f0d11696aa6f2a

Size: 22,889,372 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: 29adf0e49592e78d585539f075e25ff6661ab3a5
SHA256: 311fca976bcd4b580f3e15f2d755678425fc139ac756c515894f06fa4377b68c

Size: 3,574,632 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: 27fe711f3d894240ba612b9828427e8f000287d0
SHA256: eb9c1e512657bccd63ae6c464d525b9c117e26336c2f06f5f15a67ba2e075999

Size: 14,370,284 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: d4867ca1e0a4b2700190eae77efc9777d3b8531a
Size: 104,192 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: c904de23890586a58972406d3bf0c7dd877c2d84
Size: 327,836 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: 1eda0187db0808a54ff1c85b6f6bd9fe49ff7566
Size: 441,948 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 592584d23fc2cda03f34e4b0d17ce188ab742e3e
Size: 1,701,556 bytes

Submissions

nvazzuqw
Submitted
Sun, 17 Dec 2017 22:56:21 +0000
Signed by
0x7BF7A541C51D4B87 cbxi4pro0 (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"