Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 14 Nov 2018 23:36:03 +0000
Build-Path
/build/coq-8.6

First submitted
Thu, 15 Nov 2018 01:15:20 +0000
SHA1 of .buildinfo
cfd915c6e42e1803a1eb4c3384254486592d361d

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: bd80d46f7867d7d23085749497c876f32a52240c
SHA256: 4d1386992ebf85f20d8afedfdddb619fac17a586f1e6aeca3fdbe0e2477d6c4f

Size: 18,907,212 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: b37512949888af4a0fa5119b6c5669fdfd100eb3
SHA256: 2ec5caab3ceb913fb1b6346435962826c8905f5b4d5366a11b746256c72625e2

Size: 1,752,360 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: 2d78281215ed0c02329a84cccfc257f6fefbb4ff
SHA256: 69c45107fe404efd8706df0232d4537259e312643139a84ea2c0a84cddfbf059

Size: 22,870,012 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: e8969de4c9f9451c6c25dfe662ea8e1f5635d3d1
SHA256: 2de40e32ef80ce2521997ec870d2cc0ff8ce805aecda0b8d99574f15d9a61742

Size: 3,826,224 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: fd7403b719326728837379a71fafcf313b09f838
SHA256: 36b8fcbe1f3ac21c9ba9d10bb09f26061330e1ffe31f6577ad87b62a11bb6f06

Size: 14,086,032 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 841608f560fc0d915c2ce9db32e0c7623a756b49
Size: 107,764 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 501a4bc7e95164b8810ae252e2a63ea5ee5e8189
Size: 341,676 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: e3a8496948da716218fabafc289392d7b13117f3
Size: 491,660 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: d0adbf90d5bd98071cbd750ade4f316257d07c23
Size: 1,857,836 bytes

Submissions

Submitted
Thu, 15 Nov 2018 01:15:21 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-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"