coq_8.6-4_i386.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 17 Aug 2017 12:54:59 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Thu, 17 Aug 2017 14:56:19 +0000
SHA1 of .buildinfo
e4f5fab2dc419a9f7bfca6fecea85875e7d7c333

Binaries

coq (coq_8.6-4_i386.deb)
SHA1: 1ee9b21bedfd8987bb0be2b1156e8ad0f086c959
SHA256: 63567843889e931720a55b98a990afbcc04cd0b307d37f04792c0c803c38b8ea

Size: 13,608,454 bytes
coqide (coqide_8.6-4_i386.deb)
SHA1: 4e5084877f276acad9bf32333ae02cf0a71d948b
SHA256: 0075b158e94b8d532fa902332ad828ded9b68617f52d7593e2b5c91718f52dbb

Size: 1,315,708 bytes
coq-theories (coq-theories_8.6-4_i386.deb)
SHA1: b66bbf53c5be1dc4f11c045aa86dd8860ad4d78f
SHA256: a8a56b68c3decdd66837a7154e33a4ad66e008f0379b0d96d1160395a3511495

Size: 30,398,958 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_i386.deb)
SHA1: 4d806a63d747dab8a0ecad1d225755c27002b84e
SHA256: c0ed222553953c6b8a2762545ac46a42fa8db75a193c23a2e26359f2ada56e82

Size: 3,401,878 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_i386.deb)
SHA1: cd532ad6ce1e61f12c5d8bc743ef72d680d40fb0
SHA256: c2914bc9b650ff97f503ebe1f301e2fd087ce66b38aa9cbfdc964b7d9072caad

Size: 13,325,392 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb
SHA1: b21e3024de21c6e18af15d30ce54ac5cb3d6a42a
Size: 79,014 bytes
libcoq-ocaml-dbgsym_8.6-4_i386.deb
SHA1: bc0e7634580d50cc6878acdcf6989de8fb932044
Size: 256,812 bytes
coqide-dbgsym_8.6-4_i386.deb
SHA1: 1dde37e4e0e700bf84fb9b93d4ce2659ee819d2c
Size: 345,764 bytes
coq-theories-dbgsym_8.6-4_i386.deb
SHA1: 05bb2a5b30c7db31558a7db8cc5b2f4f0a05d421
Size: 822,900 bytes
coq-dbgsym_8.6-4_i386.deb
SHA1: 38626529c5acc823ab14356dab06b548e026130f
Size: 1,262,750 bytes

Submissions

qri4qcha
Submitted
Thu, 17 Aug 2017 14:56:19 +0000
Signed by
0xA6B59AB7CD69D4AC profitbricks-build2-i386 (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=10"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1483051547"