coq_8.6-5_i386.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
i386

Build-Origin
Debian
Build-Architecture
i386
Build-Date
Thu, 20 Dec 2018 14:12:23 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Fri, 17 Nov 2017 11:23:54 +0000
SHA1 of .buildinfo
7fd13c0da04db7f3c61f942cba99589f07fc93f0

Binaries

coq (coq_8.6-5_i386.deb)
SHA1: b81e72557adb0d7bfca81f078b30c02f0e4ad40d
SHA256: 1341d2d7f84a943ad618cdd08de20d24606ee8141668f270b8ab7083f468eae7

Size: 16,993,804 bytes
coqide (coqide_8.6-5_i386.deb)
SHA1: 05a7ac95ccbaa680892a75932a8dd49d202810ac
SHA256: 9be457b290ba7abd6cdf82d9b6b0a5aedd9fd28c84968e341571ac3f891b0e68

Size: 1,447,700 bytes
coq-theories (coq-theories_8.6-5_i386.deb)
SHA1: 0f51e9e792802aa89dde5441aba0854d637eb1f3
SHA256: 11f92cad7215100919d4a57083ee33deffaa65f8c6a114dadf308d8928466bba

Size: 32,003,432 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_i386.deb)
SHA1: f7f1dd79d17cf632e1883c656073175a94f1f5ef
SHA256: 1a70ee1dbc0ff6008c730b6633647db1f5db8833f4f9a0b2c8a99a2a587a0ade

Size: 3,460,744 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_i386.deb)
SHA1: 37d684aa392154ea04493699eba7e44d40f41c72
SHA256: 8a3062403a596b1e1c4205c9ce7ae7b0401a8f45b3cd90e9c31bcca2bd2d96d7

Size: 13,857,916 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_i386.deb
SHA1: d65eaf36a0d1e394a92f439244fc987ef137ad1c
Size: 110,740 bytes
libcoq-ocaml-dbgsym_8.6-5_i386.deb
SHA1: 6df6fba71e52ac06d5bcbd909439b921214385b4
Size: 360,540 bytes
coqide-dbgsym_8.6-5_i386.deb
SHA1: 6abe55ae39d6c17c53e0c11839b6fb76a6b412f9
Size: 435,328 bytes
coq-theories-dbgsym_8.6-5_i386.deb
SHA1: 4673fd0b72c0958971a688f29bcdcfba20314510
Size: 822,564 bytes
coq-dbgsym_8.6-5_i386.deb
SHA1: 46a905096b664975c20adc8ed017b58e73b733ed
Size: 1,869,204 bytes

Submissions

htxivhhf
Submitted
Fri, 17 Nov 2017 11:23:54 +0000
Signed by
0x1310D22166A88B5F profitbricks-build6-i386 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/1st/coq-8.6"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=18"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1506416932"