coq_8.10.2-1_ppc64el.buildinfo (view)

Source
coq
Version
8.10.2-1
Architecture
ppc64el

Build-Origin
Debian
Build-Architecture
ppc64el
Build-Date
Mon, 13 Jan 2020 10:47:58 +0000
Build-Path
/build/coq-FjoLOg/coq-8.10.2

First submitted
Mon, 13 Jan 2020 12:45:28 +0000
SHA1 of .buildinfo
6ab794f7ebeac14ad4cc19fb31854b91d009b593

Binaries

coq (coq_8.10.2-1_ppc64el.deb)
SHA1: 049aa4bf429a900179451098643f135fb31fa283
SHA256: 60981fd4a42e4cca687a3f9386cdbc73f61a8c6816a010dc3f5eebac238c0ea4

Size: 77,822,512 bytes
coqide (coqide_8.10.2-1_ppc64el.deb)
SHA1: b997cd6a0c7acfdf842c7a46e947b6e2c5e66b07
SHA256: f06d5fd80c651011c7b7c832d7e77c0469ab2a0ad5372a5e14c4be1ad69dffdf

Size: 2,126,268 bytes
coq-theories (coq-theories_8.10.2-1_ppc64el.deb)
SHA1: 68d3cab2db081cbc39a9a82b2dae80783a172fde
SHA256: 2acb063f80318b4ba37c59a366f5303df38c6685bfc5942a285a2d72bac7de8c

Size: 21,545,236 bytes
libcoq-ocaml (libcoq-ocaml_8.10.2-1_ppc64el.deb)
SHA1: d54ca6f685a6f707c613077aab182fafa195eac2
SHA256: c5e5b123c37f8f73b5fd80d265a8e1f370ef7c9b9f25da006fc6f568a84d10f3

Size: 5,608,608 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.10.2-1_ppc64el.deb)
SHA1: 97f0dc126ccdc661345befcd83cff3c395c7c507
SHA256: 93c999b983a800fcb842ce58643fda8c7dd2737584ed2d7758ee4e2538896dca

Size: 15,924,036 bytes

Other checksums

libcoq-ocaml-dbgsym_8.10.2-1_ppc64el.deb
SHA1: e105592a74fa9b3ab461a54ad0f34ce05ec61334
Size: 452,528 bytes
coqide-dbgsym_8.10.2-1_ppc64el.deb
SHA1: 1f61f8a309d1866ed23738c2f5a6c633fc899ba6
Size: 526,624 bytes
coq-dbgsym_8.10.2-1_ppc64el.deb
SHA1: 568e52c3eaf7b9382fa2683570de1067af139ab9
Size: 4,840,028 bytes

Submissions

zf9qxyp4
Submitted
Mon, 13 Jan 2020 12:45:29 +0000
Signed by
0xECF065C4DB31787B

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1577906721"