coq_8.9.0-1_i386.buildinfo (view)

Source
coq
Version
8.9.0-1
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Mon, 25 Feb 2019 21:48:14 +0000
Build-Path
/build/coq-8.9.0

First submitted
Mon, 25 Feb 2019 23:51:14 +0000
SHA1 of .buildinfo
c92404a8ad61f0d76858112744b015b2a510b93e

Binaries

coq (coq_8.9.0-1_i386.deb)
SHA1: 11b0e2baaa734206cde1650188d20d80c2f9f995
SHA256: 7fcaa3a0cc9be0c770856bb5e0134aa01ce4416f00b5075de76a2f541ad41d44

Size: 56,188,040 bytes
coq-theories (coq-theories_8.9.0-1_i386.deb)
SHA1: f4001b211984f01f6aec4830a589446abaa85c20
SHA256: 2065fd2e4207a18410a4d7e7360e9c2c0059b24357a56173fdf3e8ac2c09b6ec

Size: 28,417,084 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_i386.deb)
SHA1: dbb32b43813d60d68590790a53c119ac77ce1922
SHA256: ba5e9c6eaa1441150daa2ed40048cfa58147ca431521e7056029ebdd539c7899

Size: 5,185,820 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_i386.deb)
SHA1: 6ba99496cff20fea8f5acc11261a858af44cbacc
SHA256: e9e224985617c87eaeab2e0bf8e54fd1531c8e9fff6420319f9bead14b8f8a56

Size: 13,733,456 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_i386.deb
SHA1: f735b824ae4ea94eb6405ccfe33e493d7305e478
Size: 521,252 bytes
coq-theories-dbgsym_8.9.0-1_i386.deb
SHA1: dd10d979528b3336316be61b2fe3a8c478ad47a0
Size: 743,792 bytes
coq-dbgsym_8.9.0-1_i386.deb
SHA1: da7615e128d0f456073543d3c091863764837833
Size: 3,793,044 bytes

Submissions

sghiasiw
Submitted
Mon, 25 Feb 2019 23:51:14 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1549474869"