coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 7 Nov 2018 08:30:46 +0000
Build-Path
/build/coq-8.6

First submitted
Thu, 5 Oct 2017 03:19:42 +0000
SHA1 of .buildinfo
3d01b7cec70b856dfbb6c1b8f1c5f192d5e82f9d

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: 64b5739e2c0eece82206da71f611a17e6d6acd90
SHA256: d75fb7c139bbc62198dd9d04fc5886d0f811e04fa68feeca114ab27e0fb1035e

Size: 13,989,274 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: c630e2f7c87432d67d851a744ac69f54b183c41b
SHA256: ea1fe45f1fabf74c3739bb074770b7a46ce3c4e20ccd860d892ff98f8649f26c

Size: 1,416,324 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: 696b8c52ac6293fe066ca441dafc9b6d9e508162
SHA256: 675102fdaf846d9f869ad84b1ca2e602a3d7a6fb15775da4e021cdfa73fcbe40

Size: 31,429,834 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: c9dafeb59fc64cbaa10f401d5c9718cb5a1d596f
SHA256: f14800f527ab07b83622d2af7b62cad0cbc2c67c3452a7b3a742f907f756f1bd

Size: 3,507,110 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 13821bc11e9a4c8089a1f6cea7f425c6da9509a4
SHA256: 9fa5c80a0833bbb44dc73434bf49f7dd02c7b08c6d1fc8a5141c410c42c8ce8d

Size: 13,294,678 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: f11d6b8271712cfb2ce896dd05844595fa802385
Size: 81,438 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 3486a5f559f68da8d1667eddfeeb32568239b629
Size: 265,164 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 33e1914e24e80ec0d46df7965aac738f930cb9cf
Size: 365,166 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: e26c919b4e33eae8bface4bd6195ca13099ba43f
Size: 849,710 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: c930bf122737b1e6d00c3ad1030948f63d9022e0
Size: 1,329,448 bytes

Submissions

izqpkerr
Submitted
Thu, 5 Oct 2017 03:19:42 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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