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
Thu, 22 Aug 2019 14:25:28 +0000
Build-Path
/build/coq-8.9.0

First submitted
Thu, 22 Aug 2019 16:54:31 +0000
SHA1 of .buildinfo
bd5573102373861043da45ab58bc12e8d59913e3

Binaries

coq (coq_8.9.0-1_amd64.deb)
SHA1: 882d4400565d82cd6b5078bdabd231951c802681
SHA256: 77955673c673cec82ae633f812cc3df20a556293839459cc5180f39240f2c615

Size: 59,032,664 bytes
coq-theories (coq-theories_8.9.0-1_amd64.deb)
SHA1: c151c273224aeec7b123c572386163eb92442589
SHA256: a714659e832a8e9fabec87509ba72ea59982459167158aa7c823e75d22cae68a

Size: 29,737,512 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1_amd64.deb)
SHA1: afaf43aa6c3d39e2e3efe3f979d75478d43f9461
SHA256: f21cd2f09dcdd4e401e3023174aff73bbe9e477f777d6d6410705556eca496a4

Size: 5,528,260 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1_amd64.deb)
SHA1: fe58434879d6474e755f46e32b6052939dfa38c0
SHA256: 3a3f7138a308ddf920b30622661ba02b03144b343468b781c6820a42bc76ecd5

Size: 13,731,936 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1_amd64.deb
SHA1: 5a9ff83fec18ff27dd6b658d5a8cf6f60b671c54
Size: 537,104 bytes
coq-theories-dbgsym_8.9.0-1_amd64.deb
SHA1: 1fbb2a7eb0167dc4291cf6bb50b651a84d328818
Size: 773,312 bytes
coq-dbgsym_8.9.0-1_amd64.deb
SHA1: 58c8452b0da4373916407c60b83541b066916a4d
Size: 3,773,272 bytes

Submissions

qgshv9zm
Submitted
Thu, 22 Aug 2019 16:54:31 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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