coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 5 Sep 2018 12:28:09 +0000
Build-Path
/build/coq-8.6

First submitted
Wed, 5 Sep 2018 13:32:58 +0000
SHA1 of .buildinfo
09e1882bb17663aa7bfa8a3fd0fe6d3b41bbe954

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: f218b6949c2b64b138ea6f5b46ad8a97d3f86125
SHA256: b8190bf515790496b1ac5e5b9868bd68a3b1bbeb18c776e294043d6598fb9e26

Size: 18,904,184 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 4938396f8076e8253eb6d6414a99f6f25e0d8671
SHA256: f0fe06ca65b956595e03e91423a128fc43b7690f4afd86aabd9fd97455a5ee6f

Size: 1,751,252 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 5c33304c86fdbe2df6fbe312f38950f49bb87c6b
SHA256: f31e16dd58e7c960ec168d5e1ae599738613f8ae7f1aefc75f286da08b2ed3b0

Size: 22,871,488 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: d6b4bb64ff7cbc8f7adaa8acf7471a9799f122d7
SHA256: db44b421e67a950492cc985620212a5dc5fe28c1f3686e0f2455e76638313aa1

Size: 3,823,484 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: fcde1cd9d27e09768dfacc181e29176b85fc005d
SHA256: 89f436c94c8ed49373dbd8e0e5acbeaae50982f4de82cd9a0ddf5922bc403e5c

Size: 14,083,800 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 6573dc49118180219ba2fe891cf410d702099b06
Size: 107,760 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 13cce33fbede6a8a4a9aa0ab5bce29d361f5fecc
Size: 341,592 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 80ed26a08927409538e77a233950553fcb9f959b
Size: 492,232 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 6c992c5c6376fc07ee2b4e97fdaad2bfd1d06b43
Size: 1,859,740 bytes

Submissions

dnpssbcb
Submitted
Wed, 5 Sep 2018 13:32:58 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"