coq_8.8.2-1_armhf.buildinfo (view)

Source
coq
Version
8.8.2-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 7 Jan 2019 06:26:33 +0000
Build-Path
/build/coq-QRYBJ1/coq-8.8.2

First submitted
Mon, 7 Jan 2019 12:10:17 +0000
SHA1 of .buildinfo
72293219f1db35f5d2def5059ecb15c2ab32d835

Binaries

coq (coq_8.8.2-1_armhf.deb)
SHA1: 13304c3f710b534fdf03ffce6b092690cb44c020
SHA256: d40ba1d0e659aab8c96f92b0f3e12ccd5c8aee02581991b565fd0d66629cbd76

Size: 16,641,112 bytes
coq-theories (coq-theories_8.8.2-1_armhf.deb)
SHA1: 91cf27235f92f5a1a1099458e300f0ede6644c77
SHA256: f958ee23981570178885a56c16daa21141b9b767c2168431ea15e991c12f24e6

Size: 20,166,816 bytes
libcoq-ocaml (libcoq-ocaml_8.8.2-1_armhf.deb)
SHA1: f490a079ad392ef283eca421f3933055fbbf580b
SHA256: 978858ed6b21e0c96c984d81653e47e1946c168608caa3606f534a3cea349afd

Size: 4,517,440 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.8.2-1_armhf.deb)
SHA1: c41ae07f42e9376eda1200130461c4546fb7af2f
SHA256: 0df244c69c4398db78a5975896febd5e3a498ca5e06b6a1ae1b125af06adeee7

Size: 13,786,284 bytes

Other checksums

libcoq-ocaml-dbgsym_8.8.2-1_armhf.deb
SHA1: 0c990bc50083827e9aca2b9a48087e7a456f3d4c
Size: 411,920 bytes
coq-dbgsym_8.8.2-1_armhf.deb
SHA1: dc0b24c4f79d6d05fe7aa97f54a3c9e6d500dfc8
Size: 1,874,560 bytes

Submissions

9keuwz7e
Submitted
Mon, 7 Jan 2019 12:10:17 +0000
Signed by
0xADD59F9A4683EC2D

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1546834024"