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

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

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Tue, 3 Dec 2019 11:17:58 +0000
Build-Path
/build/coq-MK0Lwx/coq-8.9.1

First submitted
Tue, 3 Dec 2019 14:24:57 +0000
SHA1 of .buildinfo
575776814d86e7de80166451e59a231fd15e2271

Binaries

coq (coq_8.9.1-2+b1_i386.deb)
SHA1: 910b7ad89b55056dc08c67f67ded5440fe981aff
SHA256: a5813fc98e234b960e05bbd55b92b87884768b9bced5c7c7df0dd9ec408d4e40

Size: 59,507,976 bytes
coq-theories (coq-theories_8.9.1-2+b1_i386.deb)
SHA1: 3fe57b6ecda4ff6b431c58fceae7313c84f88382
SHA256: 7d8461eb73b885cb041e295298e0bce821bfb273863ffef1f11a70bf3cc1c055

Size: 28,971,444 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2+b1_i386.deb)
SHA1: e672e6ed1a3028fd4cb0befee562daa47c7e95dc
SHA256: 23fdf2cd3011d66dd6835baddc96fab8a14ea1ee128b088053d9dda269e417e4

Size: 5,400,748 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2+b1_i386.deb)
SHA1: 650e664b022db0cf25226a142fb83b50aa4db584
SHA256: 899d168b308a1084088a13e41021caf5252cac9817306390aa0f6a0d70b25bff

Size: 14,113,972 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2+b1_i386.deb
SHA1: 6604921e81d6ac1396a8533c6b7ab3a9cd4bd0e7
Size: 557,020 bytes
coq-theories-dbgsym_8.9.1-2+b1_i386.deb
SHA1: 5d575113ad8da70aabb61fe4670a2ca1304a6754
Size: 740,748 bytes
coq-dbgsym_8.9.1-2+b1_i386.deb
SHA1: a2b0b689bd993b0bcb0e21a4cc3612a3e3e77fb9
Size: 3,898,280 bytes

Submissions

94durx7u
Submitted
Tue, 3 Dec 2019 14:24:57 +0000
Signed by
0xD4D51947CB93A7C6

Environment


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