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

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

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Mon, 30 Dec 2019 04:51:05 +0000
Build-Path
/build/coq-ikljT1/coq-8.9.1

First submitted
Mon, 30 Dec 2019 06:41:10 +0000
SHA1 of .buildinfo
427050602ab5125b2b5e9e26bd9a04d93ff8acba

Binaries

coq (coq_8.9.1-2+b2_s390x.deb)
SHA1: f4875ce3cd6d08cf8112ada8bdc5816d7a47a084
SHA256: b50fbfbcbe5bfc3e16ea14400cc29c038f52ef2079dd8086091b19ce781f1846

Size: 62,503,444 bytes
coq-theories (coq-theories_8.9.1-2+b2_s390x.deb)
SHA1: fe1d9509e12b6da2357b317583c8491419bcc512
SHA256: e3b530ad4ceace0285d38c2501c8f74cb28a8e7a850879ce009e335977df5da4

Size: 20,375,800 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2+b2_s390x.deb)
SHA1: 34c64083a8145c4b327a71d61b19c638e6a11b06
SHA256: 985627bf9f11703b634697f1a8a1ba668c01a7114012dd0ade342aabb1de7057

Size: 5,798,432 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2+b2_s390x.deb)
SHA1: f6c978d288d1d1dd8b214a6d1a3f9ec72db8a412
SHA256: 8fdf368548efd29fccd5c7617c3f1bad640fbba43caba114ca93098112be61f2

Size: 14,120,556 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2+b2_s390x.deb
SHA1: 664a98ea40db2613c845f5dbd84fbca577c370b6
Size: 459,284 bytes
coq-dbgsym_8.9.1-2+b2_s390x.deb
SHA1: 371c5c1dba2228611e210b8d8eb3848689559237
Size: 3,215,308 bytes

Submissions

7yaoan7x
Submitted
Mon, 30 Dec 2019 06:41:11 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


DEB_BUILD_OPTIONS="parallel=2"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1577680789"