coq_8.6-5_arm64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 12 May 2019 17:09:24 +0000
Build-Path
/build/coq-8.6

First submitted
Mon, 9 Apr 2018 12:17:12 +0000
SHA1 of .buildinfo
4d29ab17ad27eef65591602c15dfd6186801e726

Binaries

coq (coq_8.6-5_arm64.deb)
SHA1: 278b83153b355467e2da4d1da778f0fbc2160f6e
SHA256: 930ea0b3db7d2b678b3ed803dad9a718044d658dab9fd2767509d41518ac106e

Size: 18,891,872 bytes
coqide (coqide_8.6-5_arm64.deb)
SHA1: 98792b98f8a9bd5103844234dbac1bc6e33e98d9
SHA256: 193165975f086bf3096a8f34c74cbbf81b9459a7b11307471e777fa8640c6e69

Size: 1,749,576 bytes
coq-theories (coq-theories_8.6-5_arm64.deb)
SHA1: f86b5c49237c053791ee28824a889867de5d86de
SHA256: bc971c726262ddabb97a25c7e4515a968035fc90f3ed4aac57e6aaabf27560ef

Size: 22,868,452 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_arm64.deb)
SHA1: 0b8851ef67cec9d17fff90e2286d9d07afac0a95
SHA256: 1b56cce89691e2d45c9fb3e373d92f79db3238fee20005e675832218c9c786a7

Size: 3,825,364 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_arm64.deb)
SHA1: 8d1b2c4715fde26a2a53f76cf156dd4c2b3c0473
SHA256: c5c44193732f837b23a48a2f73a581322902a99c3419576b9921b59a1276f166

Size: 14,082,528 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_arm64.deb
SHA1: 7090fb4312db4a00a20cb79fcb930f51cceae721
Size: 107,412 bytes
libcoq-ocaml-dbgsym_8.6-5_arm64.deb
SHA1: 8c610a59939ad94098eba2afaaedfcf9d6cf599c
Size: 336,892 bytes
coqide-dbgsym_8.6-5_arm64.deb
SHA1: 811d5f5227598bb61f8fbf425536c4ce54810b90
Size: 494,296 bytes
coq-dbgsym_8.6-5_arm64.deb
SHA1: e72764ad8693e233f7b23288854fa72f21fc653e
Size: 1,861,500 bytes

Submissions

3pzn3mhv
Submitted
Mon, 9 Apr 2018 12:17:12 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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"