coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 17 Sep 2017 03:56:12 +0000
Build-Path
/build/coq-8.6

First submitted
Sun, 17 Sep 2017 06:45:25 +0000
SHA1 of .buildinfo
40e12d7619f6ef6fd6afa8b55e551a64f8a4006b

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: 38f92ac2baf57451012b9bebe50673e9e03d1163
SHA256: f03b2ea44d04bb00e2f95e37f9a480289f65d3921c70715ef882ce8e5e563a0e

Size: 13,986,940 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: add4e5a452fdfc8245e95d0f644886fdf7b4c5b2
SHA256: a17bd595622db4d7545c26d74d08d832ae0f7bab19ee1a40e55e25fb2e5d1900

Size: 1,413,356 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: 05e697b4f54d281e95c94d08869c5d77333b83e9
SHA256: 2c174e29794b2e5537ceab636af504db781ae62b7efbcef6c380e97bacae48b2

Size: 31,425,760 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: 3da3785e3779048984d74ac6747e116eed5dcf33
SHA256: a214a96997f9367402cb2292bca046841f8aac21d46ce202ced3781da5e5fef8

Size: 3,507,754 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: b9df764d571494ebe22b953503e3bedc0f411fcc
SHA256: 53a39b8b25f5d8f32d50bc27367cf7cf82941d6a9f3efdc81fbdccbc80accae8

Size: 13,291,272 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: 0cef9cd60a9234eaa02df6181a11dc9b597b87e7
Size: 81,396 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 2198596c94ece61d3ed84449b80a5633156cb2d8
Size: 264,098 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 2116e946b72052731b087034ffc27922d0791a29
Size: 364,762 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: 0785fa97779ebf814425fcd437212efd41d9d51f
Size: 848,368 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: c21dcb1d12e8e30b238c067e6897e8fc0534a222
Size: 1,318,948 bytes

Submissions

tgum7kce
Submitted
Sun, 17 Sep 2017 06:45:26 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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