coq_8.9.1-2_amd64.buildinfo (view)

Source
coq
Version
8.9.1-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 6 Feb 2021 17:06:09 +0000
Build-Path
/build/1st/coq-8.9.1

First submitted
Sun, 5 Jan 2020 14:21:38 +0000
SHA1 of .buildinfo
0d0599103939743d0592af54f6026e8870b25b37

Binaries

coq (coq_8.9.1-2_amd64.deb)
SHA1: 59ffb93f6da7c5f4ba2c312c66713e1d4cf35fb1
SHA256: 4fb2d5786c9e47aca595ea5be15ccc3b77277f9e0d5b09421fe6ad1f4df2a434

Size: 62,448,352 bytes
coq-theories (coq-theories_8.9.1-2_amd64.deb)
SHA1: 890f6deebd3cd5fa598263eb95c050979c6aa221
SHA256: 330531cbd3bfbb875cf943629c687e1780526dd5b9abe5d968e89f34adff0f9e

Size: 30,177,448 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-2_amd64.deb)
SHA1: 178d7792343ef3fd4c8644e1d8c516132e108061
SHA256: e29382ae04e667eb4c5662f56fd0cb02cb3df5fa3fb7d9c65c1a3312a1f399ab

Size: 5,680,272 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-2_amd64.deb)
SHA1: 5bcc907ae0a3eb03401dd2e1e93df887c7153d8a
SHA256: b36fb62c6a46c6f4951683e48c4731148cd11edee1851dd4dd907558367317f7

Size: 14,090,508 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-2_amd64.deb
SHA1: 07bad0f3f1662e813b181db0c1beb8c099308166
Size: 572,300 bytes
coq-theories-dbgsym_8.9.1-2_amd64.deb
SHA1: c772905aee9c75bed8b20e132f9dd3a0b9bce7e6
Size: 771,172 bytes
coq-dbgsym_8.9.1-2_amd64.deb
SHA1: 9b9b420d751bcbfc96b63c15bbd3f93d3476f3f7
Size: 4,248,516 bytes

Submissions

qsuooyjw
Submitted
Sun, 5 Jan 2020 14:21:39 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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="1573228126"