coq_8.6-4_amd64.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 31 Mar 2018 22:54:55 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Sun, 26 Feb 2017 18:32:18 +0000
SHA1 of .buildinfo
0920adf9ae9bc5c2aa85ac5265bb7d18e211b76a

Binaries

coq (coq_8.6-4_amd64.deb)
SHA1: 77c8c0bc50792233aee51c22cf21f2011c748d90
SHA256: 6b3046c00045b9c4f2d3f620f6dfdbff51a60df1a3dc98ebb445dc6c1ec9209b

Size: 13,955,646 bytes
coqide (coqide_8.6-4_amd64.deb)
SHA1: b14d735ad7d1ce8b501cbe5973109dfa40e96591
SHA256: c205b57b99af2a3286ce2b69598d0bcff5ca351049609e51096119a92de32fea

Size: 1,404,706 bytes
coq-theories (coq-theories_8.6-4_amd64.deb)
SHA1: 977b98e244d3558c91081c2f1029aebc23ff8f37
SHA256: dbfd74b2eb19ffd7d1cc2813ab8ccb9e8de8b70def71e63caab7cdb02a2a61f1

Size: 31,450,000 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_amd64.deb)
SHA1: f60c2e8f7f7cd8e074c6117c88095b8ef156fa7c
SHA256: 135ec68ca34a2e415dccac30ba62276453052345f58a52097b59971f7e158693

Size: 3,501,376 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_amd64.deb)
SHA1: 847635fee9db6e08f5a76d3f8237d1800c7b3ae5
SHA256: 3f7e8157ac2d1d546b7acac77cecca1014ec6d61bdc0b38a01dde7108b3a6aa1

Size: 13,291,098 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_amd64.deb
SHA1: a25e043900dd24673c3c5140ce90d23b5348d8d7
Size: 81,632 bytes
libcoq-ocaml-dbgsym_8.6-4_amd64.deb
SHA1: 399e6fc23931b64d9fad841ecb7662de1ad41cf2
Size: 267,212 bytes
coqide-dbgsym_8.6-4_amd64.deb
SHA1: 7891422244a4e6f7338152ed253a5c7a968a273b
Size: 368,354 bytes
coq-theories-dbgsym_8.6-4_amd64.deb
SHA1: c2ccdcd10f5256c20fd3eeb83432fdd548f7c8bc
Size: 876,526 bytes
coq-dbgsym_8.6-4_amd64.deb
SHA1: 7da126f46dc07cc7dc0518709e5cb269689c71a9
Size: 1,386,500 bytes

Submissions

wzp4ihb4
Submitted
Sun, 26 Feb 2017 18:32:19 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1483051547"