coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 3 Jan 2018 10:22:39 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Wed, 3 Jan 2018 11:01:34 +0000
SHA1 of .buildinfo
9bfcb876b29207c5e6e13b4fb1b4aa2361537ca9

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 461d19dc1edb9db89448091ba1cfd7e81d1c4e79
SHA256: 17134cbabe75adb1035fb5118b6c3f488972740ec7c0e2fe6b002f6ecb65b68a

Size: 18,886,412 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 6262c9f93032c81687e8631d83d5b1ec0f4866a4
SHA256: 962ba639c38313ed198913ce4a8e23940dc322c1f1778acf137dfb9fd5cb48fe

Size: 1,749,032 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 845336daf1d1893f664a332377f1444f0657d0ce
SHA256: eb70331d43eca6d4bd000c6e1b43982aaf1d27d12fe68a5d2cbd6cc1257eef26

Size: 22,871,064 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 5f1bd5f102df01f3fac31830365990dfd8cbf144
SHA256: f047937acad72c9531647ab835286548749993a943782f31a786aa4b936216b7

Size: 3,824,344 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 7c8ef42fcb95017a3f7fffdb502564ecc72ee257
SHA256: 3acaa2688a116c5799c5d11d9849a9b8f6eecf28aa0ad534049dce3a8de75083

Size: 14,086,020 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 2532f7175ff0320047aa51882cfc4b9e9593f09c
Size: 107,492 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 64f0a1717666624c9d2b75c2505c628258f1f9e7
Size: 337,048 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: e571e76f09398e28e25170c6d1b9e5859fd170a4
Size: 494,408 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: e68e0fbe44ba8a20c20e716d7c01679263028c89
Size: 1,854,972 bytes

Submissions

pidgxd4o
Submitted
Wed, 3 Jan 2018 11:01:34 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"