coq_8.5-2_arm64.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 12 Feb 2018 09:08:13 +0000
Build-Path
/build/coq-8.5

First submitted
Tue, 10 Jan 2017 03:40:49 +0000
SHA1 of .buildinfo
807c841acbf0ac5a3dea297943e5256f25ad17ba

Binaries

coq (coq_8.5-2_arm64.deb)
SHA1: c3865ccde18155af62fd3972b4dbf8a63af1c6ac
SHA256: f28755952d3c1bbc694fc096e21463678695ed23dd479e500ccf7195fefcbde0

Size: 13,490,792 bytes
coqide (coqide_8.5-2_arm64.deb)
SHA1: 8cd483279c2fbaaa8b19c423ad676201edac0158
SHA256: 68f361f149857b16a41fa79c8fe28033c19204ebe955d8081e1cdd60e71bd056

Size: 1,295,026 bytes
coq-theories (coq-theories_8.5-2_arm64.deb)
SHA1: 1ac9696bc556235a50aa571326ebcd0c30b80fec
SHA256: 653072cf863c89c029c6b4bf30897b3aac2ba912276ea10e23a6be8d8f7bf4a2

Size: 24,198,264 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_arm64.deb)
SHA1: 72860ca72dd299584290feebc6481296a10de11d
SHA256: dd564a2fe9eb4d6590bb614fc28a9a7babe7406f56b1432e2f709e2ba5109e7b

Size: 3,409,842 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_arm64.deb)
SHA1: a968603e4c0529910e0359e3c787497f375dd010
SHA256: a108a9a46816ef6c378444a0473d2a62b3418fe7d74b0a6e4da62eb5cd2e9e28

Size: 13,670,568 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_arm64.deb
SHA1: b3685917ebc1f2b6c93fb860f193d236639e268b
Size: 82,512 bytes
libcoq-ocaml-dbgsym_8.5-2_arm64.deb
SHA1: 3368be0ac9c5d3301fe3d4d1917bffd7ae694c1b
Size: 243,470 bytes
coqide-dbgsym_8.5-2_arm64.deb
SHA1: fee8fc1555f7c4235b0dd252396a2453e3e5d06b
Size: 348,110 bytes
coq-dbgsym_8.5-2_arm64.deb
SHA1: 4ff6ca97eec77d237110353eac2d13a74c93500d
Size: 1,306,030 bytes

Submissions

ijttysaf
Submitted
Tue, 10 Jan 2017 03:40:50 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1453978027"