coq_8.5-2_amd64.buildinfo (view)

Source
coq
Version
8.5-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 5 Jan 2017 11:16:54 +0000
Build-Path
/build/coq-8.5

First submitted
Thu, 5 Jan 2017 12:26:02 +0000
SHA1 of .buildinfo
a84c43a44d756c739a86a09a021d26bce92feed3

Binaries

coq (coq_8.5-2_amd64.deb)
SHA1: daadcb62a2bb3404da2ed639ee07aca9a1c6c5cd
SHA256: f6a8a9e41fe4abb396fc217bda8277f80c25bfed8888ecb5392df0220c44be57

Size: 13,602,626 bytes
coqide (coqide_8.5-2_amd64.deb)
SHA1: 13c4548efcf410ddd75ead5ff3e34445e19383d9
SHA256: d7424b087ee241577a0897bf9b2a1adc7bc75ac792663023881c3b9af0287aef

Size: 1,276,746 bytes
coq-theories (coq-theories_8.5-2_amd64.deb)
SHA1: cd3f1c57630ae64d3d7e0e85d72bcbc16844697f
SHA256: 6861585952bc5721d22f6daf66db54886474623c28f70113193414bd72761139

Size: 33,157,454 bytes
libcoq-ocaml (libcoq-ocaml_8.5-2_amd64.deb)
SHA1: 882e5e192f6c8b7433c47dbcf47686bedd3171c7
SHA256: 37bae184641b3848058174c987fc1bd703fe62d68d84e04e207a7c0af912fd8f

Size: 3,432,410 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.5-2_amd64.deb)
SHA1: e6850f05b1b806515d6d0fb321a14551bb3eaede
SHA256: 62292d3f767ff5030ce858234800ff1ec8bd20929aca4dd3825b67cf01148eed

Size: 13,443,196 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.5-2_amd64.deb
SHA1: 4279e18110eb4461fd3af30f4c1df383f27c835c
Size: 84,700 bytes
libcoq-ocaml-dbgsym_8.5-2_amd64.deb
SHA1: fc2334982eeb7e244cf2ea6909316a0d0f242624
Size: 254,854 bytes
coqide-dbgsym_8.5-2_amd64.deb
SHA1: 4a99a8ee99866f1f60a1bc865d7e6e62a62262db
Size: 353,694 bytes
coq-theories-dbgsym_8.5-2_amd64.deb
SHA1: 3a22ef6a58f45bbc1f2064a87305fedcd52cc1e8
Size: 894,250 bytes
coq-dbgsym_8.5-2_amd64.deb
SHA1: 368c2e692ca33c231c6f8092826fcc3cbe7f76f6
Size: 1,382,746 bytes

Submissions

qayv9mad
Submitted
Thu, 5 Jan 2017 12:26:03 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1453978027"