coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 8 Dec 2018 04:49:16 +0000
Build-Path
/build/coq-8.6

First submitted
Sat, 8 Dec 2018 05:05:08 +0000
SHA1 of .buildinfo
b8d8b0535cd9a7e32e4ef42177849d0ec470da52

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: eaf99e7711d644a66d19a32e998d634b76cdcb2c
SHA256: 7d9a75d265379356c807d9d054a6818cd8d8f45c17ba27e0c054d00a999f8984

Size: 18,893,304 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 84dc5ceec823117fb42ca61ec6bb28878729f375
SHA256: 2d854f01878604f229289fb171d0dd0ace041278d2cf3f140e7b6c40b49698c1

Size: 1,750,304 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 928488a6fcd6a1bdf62a6f3a08b367013a373b9c
SHA256: dcc6d6ad13088279abff424b9551abec417823c06edc3a2a8dd415ec100b503c

Size: 22,871,544 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 38f9776921878a886201fca3d5de58c865217ad1
SHA256: f7caf98a28923b89c2afd691c9e4c4a6fbe731395cb2dd99648c2c0a0e7fb49f

Size: 3,824,532 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 0731228e44c28fd8b921b98b9de8f8fad6b18af9
SHA256: dc8bbab03dd470774008191c84d1db319cc27423c51141df005dac255599a23f

Size: 14,087,308 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 1180f85bc2d0f2737a91235990ac5e9d59c6b7f6
Size: 107,740 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: ff5a1ad7e1255ba2d89ff8050ade995a31af9964
Size: 341,512 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: fd8c15f82705d55d5f04827b8ae439b8bb6b4b6a
Size: 492,016 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: 3cf9f579086b86afb7cfdfcc3f6731ccaff81d41
Size: 1,864,056 bytes

Submissions

9qmfbdpr
Submitted
Sat, 8 Dec 2018 05:05:08 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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