coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 15 May 2018 20:44:55 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Tue, 15 May 2018 22:45:55 +0000
SHA1 of .buildinfo
2770d6572830df77f8831256d0e7582b625bf547

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 3de0c09122a4479524e80c23d85a9688fe3c5936
SHA256: 803d75f80e69bd44ac41dccecd5d633d15c88936a260ccdde3fd82d6188cc538

Size: 18,893,332 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 6365545f0746bf142c6500da192d4e69c8718524
SHA256: 3ac18042d4ac3c9cad7b477d53f2609e3fc52e087a6a0a0a233da1090a958658

Size: 1,751,544 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 670ba4fc0a892b204a1886dc40833761b05eb9c8
SHA256: 4837b3d6050f9d4e937cf7e7b0be19bfbeb68fa7795778c7ea6d2aae5b38980a

Size: 22,861,180 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 7ef5f04f4bc71dd75e4f0aa071653ab299b59a79
SHA256: b8faee7035bc49db480072588e142cc631592ab9ea8bf18a89265af18887f15c

Size: 3,825,836 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 2e937d039121d9ef575d33e9fbe75bb156c66fb8
SHA256: 07c63940d813f1cc5c74130d0984f9fc7135bbf7572ac52ce7109b89cafbd808

Size: 14,086,520 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 9e633ee1a17d5862b46c8607a962ee7444820969
Size: 107,412 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 7868f833365641068a7855717b58949fb1bd2ce1
Size: 337,560 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: b009745c7c6b947301ee58d60b00b3a71c89a4c2
Size: 492,316 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 69730f51dfa58456fb5312d4732964c2a1d8b776
Size: 1,858,884 bytes

Submissions

msuwfzaj
Submitted
Tue, 15 May 2018 22:45:56 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/coq-8.6/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"