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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 30 Dec 2019 05:04:10 +0000
Build-Path
/build/coq-xUStOm/coq-8.9.1

First submitted
Mon, 30 Dec 2019 06:41:46 +0000
SHA1 of .buildinfo
fc8cb0edd63724e8c175441f4a0274dbba059f49

Binaries

coq (coq_8.9.1-2+b2_i386.deb)
SHA1: ccbe21c9ad36e0d7722a78cc4d174aaf42399f3b
SHA256: 3b0821b605e963a4e09afb076b8a7c2f053d41a1c36d85efd87bf5ff5e6481b6

Size: 59,511,728 bytes
coq-theories (coq-theories_8.9.1-2+b2_i386.deb)
SHA1: aa64e635e8599a639a435d897553eab257b8b425
SHA256: 3aae6a022189bd866a6bb1923a5481289738473ca920e85172d52d3bffdcb4e4

Size: 28,981,152 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2+b2_i386.deb)
SHA1: 041435efab48d4f7c51ce96e501b61f321405d94
SHA256: 26a5298fa313c93af261a1169262af6a2fd602482e9e34c3d5e231dd071398dd

Size: 5,402,476 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2+b2_i386.deb)
SHA1: 4380a6310dfdd9dde1a35b4ef1f1bd779a716ba0
SHA256: 6fec64b32a881b9ecb4339f1defc49367eb5013d2df920e39261b22384fa0ad7

Size: 14,122,696 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2+b2_i386.deb
SHA1: ee3b66f2876a6939b4371afaabf6d2df1eef7bd7
Size: 556,672 bytes
coq-theories-dbgsym_8.9.1-2+b2_i386.deb
SHA1: 644a76faa255b55ffe335b5836ad61b6c0788762
Size: 739,604 bytes
coq-dbgsym_8.9.1-2+b2_i386.deb
SHA1: 68374b68c57526eaed60d2bfaa51c9bca86f5a98
Size: 4,041,396 bytes

Submissions

mmf7n9ep
Submitted
Mon, 30 Dec 2019 06:41:46 +0000
Signed by
0xB6798C98C3897D0D

Environment


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