coq (8.9.0-1)_8.9.0-1+b2_i386.buildinfo (view)

Source
coq (8.9.0-1)
Version
8.9.0-1+b2
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 5 Aug 2019 15:54:38 +0000
Build-Path
/build/coq-6ynY6V/coq-8.9.0

First submitted
Tue, 6 Aug 2019 00:26:21 +0000
SHA1 of .buildinfo
23951a6c67513e7a30951db8473e3eb9173f525e

Binaries

coq (coq_8.9.0-1+b2_i386.deb)
SHA1: 014ef38df8e51e52087ca063b37535cd31b14e90
SHA256: 1ac91af86c77decfdc6d5db8fb9e21de526d55c32a4113bdd5c830bec29a05e6

Size: 56,236,628 bytes
coq-theories (coq-theories_8.9.0-1+b2_i386.deb)
SHA1: 8a05b93f6a661f146e9e2a702551b5980d4957af
SHA256: 538a876a6fb049d504f8a1b4dbef95fbf1db398ea6f1de248f9411b2cb0ae1b7

Size: 28,423,608 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1+b2_i386.deb)
SHA1: 88afb4df62bc8b1365c1016199e85e99ada24915
SHA256: 2a591edbdff23fa2392c1bbdbadc2c2ee45ce49e52d8adfbd145e181911d4060

Size: 5,238,744 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1+b2_i386.deb)
SHA1: 39da77cf92b0730411771abf347a47f013d4c88e
SHA256: cfab3fe9bcfbd887b1af4e53329eba3629e2ca842568fc9fbe97f95549ed6ae8

Size: 13,762,948 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1+b2_i386.deb
SHA1: 35d82e353fa4fff451de4a163b0a1d55ee1e4c61
Size: 522,812 bytes
coq-theories-dbgsym_8.9.0-1+b2_i386.deb
SHA1: f3063356bebccf9f66aca6d05fff672e2bfca7a2
Size: 742,396 bytes
coq-dbgsym_8.9.0-1+b2_i386.deb
SHA1: cd4ee8b760a2228f684a03f36abe06dbd35f5c6c
Size: 3,743,792 bytes

Submissions

duy7nfqn
Submitted
Tue, 6 Aug 2019 00:26:22 +0000
Signed by
0xD4D51947CB93A7C6

Environment


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