coq_8.9.0-1_amd64.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 6 Jul 2020 11:14:22 +0000
Build-Path
/build/coq-8.9.0

First submitted
Tue, 4 Jun 2019 07:13:20 +0000
SHA1 of .buildinfo
cd247a9e15156d63701d49a5e1cfd25684febc08

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: 9af84f1dde649fe4f81971b0cfe1bdcf89569e22
SHA256: 6625178f3003e92ac0aa15b68d3a8bc6be06c082cc30eeb2a669499456e6faf1

Size: 58,978,512 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: 6221e9b2a2ea1b82c2aa2882c6b81ecd17bd08f3
SHA256: cf1cb5fe516b33ca0703bf4c036671ea59efdeeb467314aad39ad5c1c325e9be

Size: 29,736,472 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: 63a51580528d19d05154f7d0b60861be8527bb31
SHA256: d61ae2bd3bdc1ba2cab05d28d4cbd325c4291b9f409135705acaf58379234183

Size: 5,463,392 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: d75577d5e3b5b3ba4b7b34bfaa6121e903b8e3d2
SHA256: 6a8788623e97b2eb0a58ed3f15fa7c34efb0e671a594f5dc44532bfb4d1bdb32

Size: 13,709,180 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: 9b7a37d062d5f0b524d1e37a806cba0defc83b9f
Size: 535,436 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: 3733a2ef2baac48400691c11f7de696260cc5562
Size: 772,996 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: eb1b2c28119e0e2a0e61d9c85a13a80d145ca577
Size: 3,828,304 bytes

Submissions

vnw3p9dy
Submitted
Tue, 4 Jun 2019 07:13:20 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1549474869"