coq_8.5-2_arm64.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 25 Dec 2016 02:09:40 +0000
Build-Path
/build/coq-8.5

First submitted
Sun, 25 Dec 2016 03:16:57 +0000
SHA1 of .buildinfo
ef07cd1fbb525560a5b1aec1e2d7e33a0cf23910

Binaries

coq (coq_8.5-2_arm64.deb)
SHA1: ec27ecb8359acbedaf8b725ff5f56f40b9960524
SHA256: d82942457b687c8ef1cfee9ecd4139f9fd196d6637e6e63367ca4a4a570638fc

Size: 13,492,596 bytes
coqide (coqide_8.5-2_arm64.deb)
SHA1: 7825a0950094ad54baa3d2bb3db4b3abdf4bcfa9
SHA256: c10a171e7349ede443f7b6c722fc248b5a86dc59aff76904ba21be85398ea733

Size: 1,294,996 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: 46620779933c66a5aa5485ceb2134e825b9727c3
SHA256: 7221486bdfce690a2cde47d9b26621237bdee87efb96db44c1d675c10a8d3ea8

Size: 3,410,330 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_arm64.deb)
SHA1: 08ee7d6c1cb7ad0ebc65105157fb875e7453b54a
SHA256: a567426d23e68f5ab1f838dedf1410799c5407c9ddc0af882d8972166eed3d36

Size: 13,673,342 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_arm64.deb
SHA1: 92911bcc34932672ed996feacf67ddce51f8042c
Size: 82,656 bytes
libcoq-ocaml-dbgsym_8.5-2_arm64.deb
SHA1: 9b561e575df984da7c643be89eebd3b46787d067
Size: 244,476 bytes
coqide-dbgsym_8.5-2_arm64.deb
SHA1: 64ef887055ba996f3c6a20d0707b079f8a04de19
Size: 346,884 bytes
coq-dbgsym_8.5-2_arm64.deb
SHA1: 83bbc543274d40efa6aa8d87eadbe2ae4300b7fb
Size: 1,326,040 bytes

Submissions

qo3yiecg
Submitted
Sun, 25 Dec 2016 03:16:58 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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