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

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

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Fri, 6 Dec 2019 08:02:07 +0000
Build-Path
/build/coq-lnXvoc/coq-8.9.1

First submitted
Fri, 6 Dec 2019 13:38:09 +0000
SHA1 of .buildinfo
17921a699ee77e63393efe8b861d6775654df91f

Binaries

coq (coq_8.9.1-2+b1_mips64el.deb)
SHA1: 042c669630d828eb8d4e95e1842fa2ad98fafc29
SHA256: 4be1fd4bd1e5e36065022137bc22970ce50fc989c38d2e071011736ae0a6c950

Size: 55,166,868 bytes
coq-theories (coq-theories_8.9.1-2+b1_mips64el.deb)
SHA1: 120bcb6417ad77741deaa5e39876138d4042db6c
SHA256: a0cb88d069d418a98a29a7136f9d17345f87ce8937777a7e5cf8d7e57b52182d

Size: 20,366,440 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2+b1_mips64el.deb)
SHA1: c50752db2469d4e00bbca1b104fecf0b47a9e94c
SHA256: 2a0df711b83222bbb7bc2c40bae7c4bb43b42f641b007184a642b6ce68a067e1

Size: 3,805,476 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2+b1_mips64el.deb)
SHA1: 5187b33c99ed18fc15f77270f43688aa90389b36
SHA256: 4ca164c1b0a02e2955630b1b43df97471f61effe82b31637949c7debd8dff794

Size: 8,232,780 bytes

Other checksums

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

Submissions

gobdwrdh
Submitted
Fri, 6 Dec 2019 13:38:09 +0000
Signed by
0x2378023FC330EAE7

Environment


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