coq_8.9.1-1_mips64el.buildinfo (view)

Source
coq
Version
8.9.1-1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Wed, 21 Aug 2019 18:41:11 +0000
Build-Path
/build/coq-GsJbuA/coq-8.9.1

First submitted
Thu, 22 Aug 2019 00:20:52 +0000
SHA1 of .buildinfo
8a9ca6ed82ef497c49ca65d4d755c2ca1236cb3f

Binaries

coq (coq_8.9.1-1_mips64el.deb)
SHA1: 6e689d1d79ab010750306294b9d1ea680752d1d4
SHA256: ddf4f29f7e3d9540f9b9b398899a7e3b612af23f1deffff6f7b7be17872b8204

Size: 50,103,688 bytes
coq-theories (coq-theories_8.9.1-1_mips64el.deb)
SHA1: 45ec2ffd83e4e9a65a34eb0d5ff7982bb10006bd
SHA256: 26151642fbf987b54d8bee118ae8bfc46540f7a55c8814fb98ec32f9822520f5

Size: 20,364,304 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-1_mips64el.deb)
SHA1: 0ab4a38abeb56fa97d1f79a8f0d531e28a7656ea
SHA256: 1588c1aa23c555af688ec3512c9467c4f66471a0897f7f1ffd8cb1cc9a960dbf

Size: 3,627,304 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-1_mips64el.deb)
SHA1: 48abbf37ad52c1f627e029d5a9d79408067f6e88
SHA256: 401e2406a47ed5005d88b0cb568a9f837240f5a79dced8c14bdac80281bc3391

Size: 7,965,660 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-1_mips64el.deb
SHA1: 108c6369713b0edf2f7cb89c9956b4556361f9ca
Size: 26,808 bytes

Submissions

s94wakab
Submitted
Thu, 22 Aug 2019 00:20:53 +0000
Signed by
0xB6CA69CFADAFD271

Environment


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