coq (8.12.0-3)_8.12.0-3+b3_armel.buildinfo (view)

Source
coq (8.12.0-3)
Version
8.12.0-3+b3
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Wed, 25 Nov 2020 17:26:39 +0000
Build-Path
/build/coq-uSWeNG/coq-8.12.0

First submitted
Thu, 26 Nov 2020 05:06:02 +0000
SHA1 of .buildinfo
c36cd1de1df25f93817a96f8bc7a70115fd0d785

Binaries

coq (coq_8.12.0-3+b3_armel.deb)
SHA1: c3e59853b027561cabd2dd1922cb12e937fafddf
SHA256: c8809584a66bbfeb4911ee35735e9f37613ffcf889f83ca145e2ec9aa9553274

Size: 105,872,392 bytes
coqide (coqide_8.12.0-3+b3_armel.deb)
SHA1: 35a154f682a248d1b8c7990b0aa412d03e307479
SHA256: 5578f6b46c54c00daa1b1a597f41a5a69d0f56653363b787b52c53bf10e0529b

Size: 46,764 bytes
coq-theories (coq-theories_8.12.0-3+b3_armel.deb)
SHA1: 5d4dc9bf2112f606a3aab303ada1c99facc4bc27
SHA256: c856e3ef2bf9ee0ef5aa265788853d7a5296dd829e950289c175dd12535c6a9b

Size: 23,913,512 bytes
libcoq-ocaml (libcoq-ocaml_8.12.0-3+b3_armel.deb)
SHA1: 15d9148c641540a14070b4ec72e5d74d4be3e983
SHA256: c8b7d6d456a79beb331700d6862bfe4e0717cdae5a89c95ccb2a558a5e68532e

Size: 5,460,152 bytes
libcoq-ocaml-dbgsym (libcoq-ocaml-dbgsym_8.12.0-3+b3_armel.deb)
SHA1: 9574038312b57d0c4b24062e56426ede7a45db75
SHA256: 3c61979128b64355460cf11894c200ee4d610a75c33d7f852fba2068065973c4

Size: 39,004 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.12.0-3+b3_armel.deb)
SHA1: 17e578d6108d759ccb22fba7f5b075fc7d1d4821
SHA256: 09d60148a5c9a72b6829d319a6d6eeab88bd9b048fdec3c8ccd3729dbdcbf33d

Size: 11,283,240 bytes

Other checksums

Submissions

qxyonswv
Submitted
Thu, 26 Nov 2020 05:06:03 +0000
Signed by
0xD17312624A4D5F6A

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1606286359"