coq_8.6-4_i386.buildinfo (view)

Source
coq
Version
8.6-4
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Fri, 15 Jun 2018 02:42:23 +0000
Build-Path
/build/coq-8.6/2nd

First submitted
Fri, 12 May 2017 22:19:44 +0000
SHA1 of .buildinfo
eb41721a202e314f5642e900cadccb73125a2506

Binaries

coq (coq_8.6-4_i386.deb)
SHA1: ed2008b5d7e7810a7a16c5295f4797df48e99935
SHA256: b9519d8ddec61db3c0c304bbbfb05ea4075ae10c0af530562f2389618d12519c

Size: 13,588,024 bytes
coqide (coqide_8.6-4_i386.deb)
SHA1: 7ef97e8ed36714591d10efe28fb29117cec9237a
SHA256: 618d73369c0feb38af1c0baeb023f9e26ee604c397bf93466294f36f97415f64

Size: 1,313,070 bytes
coq-theories (coq-theories_8.6-4_i386.deb)
SHA1: d1a9c3c21c1736e335a67a62efbddadc49a565f1
SHA256: 08053ba13adc8a11cfd02d7a17ca8b2733ad3df484ec89db01cf637e1204042b

Size: 30,409,736 bytes
libcoq-ocaml (libcoq-ocaml_8.6-4_i386.deb)
SHA1: 9b364fae9ba21a371ba36b92c06270f990621729
SHA256: 5edc3035acae28c35666cc0546b5c1b6c03db46a48c344a20900d80cd6914e90

Size: 3,402,858 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-4_i386.deb)
SHA1: 7bc3367169a55c351e0d46686354b8c894593acb
SHA256: 191986aa52e4ebff8f327dcfd84acf490de5dc8b29a0132e7f834b256eee17e6

Size: 13,323,626 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-4_i386.deb
SHA1: a43da9550694d5d4b056364faa7a98861e57542c
Size: 79,174 bytes
libcoq-ocaml-dbgsym_8.6-4_i386.deb
SHA1: a09cd2b73cce03ba7bc678d5f58e0ff14d5ab9c4
Size: 258,134 bytes
coqide-dbgsym_8.6-4_i386.deb
SHA1: 2a0e35ec36f75fa9461a8f855909cf6f1a0369f7
Size: 345,462 bytes
coq-theories-dbgsym_8.6-4_i386.deb
SHA1: ce5b419411d5e4e94c20eaad364bcfbcede5c95b
Size: 847,974 bytes
coq-dbgsym_8.6-4_i386.deb
SHA1: 64524117b4a312caa7bdbf8d86c68d3dff33c5ce
Size: 1,300,852 bytes

Submissions

4zgwfoof
Submitted
Fri, 12 May 2017 22:19:45 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-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=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1483051547"