coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 12 Sep 2018 21:46:39 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Thu, 10 Aug 2017 17:11:58 +0000
SHA1 of .buildinfo
86737c8269b217a0bf9c518c86309c71c0ca21c9

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: bf9f948dede87e1af2986b6a688966a26885f5ce
SHA256: 9f721f3be25cac5bb9823a8ec560302282a94df1d860b99730ff0c2e03049d98

Size: 13,988,834 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: 0382414adb05ac82b5823db3dd9d94ccefe6624d
SHA256: d1545efee70275bf6a7fb608e81e59b8cbcbb622f76b0bca423dd8dce00b0a57

Size: 1,414,880 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: f72a2b1bb041a1949ced26f26d6aa222467dc0da
SHA256: c2f71f4c8e06b7647bfd336d908ee8a252dbe2a6360cf43ed278d8e4a8dfaaa3

Size: 31,429,416 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: bde6493348ebf29fe08107030691805bc1f4eb78
SHA256: 89afeefe095ac665eb0127e4f84cf9b87fc81ed48fbe344da79685006afa444c

Size: 3,506,982 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: d0aa264a5b5ac1dfaba8d2260435f3b910b6627d
SHA256: c0aab5a479625011d37aadb2d7550948d43fa4506556c9b5ec41f5e24bd1856e

Size: 13,291,430 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 0c8a70d5372a9d95e60448659d473753e91c63bc
Size: 81,544 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: a7a5878b24cfc8d0e05ac5fc02f5e343b1802872
Size: 264,940 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: b3402c388f67bc926535d42e1a131696938dd536
Size: 363,776 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: c5dff74453b693d49f589cdc701fc115ef409ca5
Size: 848,582 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 5a5d1324c2e64f7151d46ea1c51ea6e8b944943d
Size: 1,325,378 bytes

Submissions

yz9hs9ip
Submitted
Thu, 10 Aug 2017 17:11:58 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-4=/build/coq-8.6/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"