coq (8.9.1-2)_8.9.1-2+b2_mips64el.buildinfo (view)

Source
coq (8.9.1-2)
Version
8.9.1-2+b2
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Mon, 30 Dec 2019 09:15:51 +0000
Build-Path
/build/coq-7a2WPa/coq-8.9.1

First submitted
Mon, 30 Dec 2019 12:39:22 +0000
SHA1 of .buildinfo
966002efff4e5f523aea3046bef265d0ec416829

Binaries

coq (coq_8.9.1-2+b2_mips64el.deb)
SHA1: c0a0cecbd84e5032684bb501e40fdabd3af3bcfc
SHA256: e6c575d83ed4a0d729feb000ba03352ddbaa94c70a769d2e0e309acde1bd490c

Size: 55,168,524 bytes
coq-theories (coq-theories_8.9.1-2+b2_mips64el.deb)
SHA1: 166475f93ce59b71822a122e257dc4dac7973ea8
SHA256: 1aef1fccbbd92ef835fd3df9446498cd77c3c2b95d7cde6089dc102e008b1b72

Size: 20,369,648 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2+b2_mips64el.deb)
SHA1: 8760094957762203ae245dfbe1f28b61e75ffa67
SHA256: 462782643b1a93900499842c970579719ed01302ed395cb55853f7f0f1b694e1

Size: 3,805,460 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2+b2_mips64el.deb)
SHA1: 797579eff35b79003dd3ea3f265c5645a8e01dc5
SHA256: cfe5dc3aeec62080c5691fdc0c8b3fbb57e19b38b6452624144737e011c3f7a4

Size: 8,232,692 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2+b2_mips64el.deb
SHA1: c31cccd5bce29f0c302e9532b35da7a4c9a26237
Size: 26,756 bytes

Submissions

b3jnewyk
Submitted
Mon, 30 Dec 2019 12:39:23 +0000
Signed by
0x3443710A81671ED1

Environment


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