coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 24 May 2018 02:10:41 +0000
Build-Path
/build/coq-8.6

First submitted
Thu, 24 May 2018 05:27:28 +0000
SHA1 of .buildinfo
10a9e7754d39e0f4f2f2d7de6055a36c573730bf

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: 8607d7675929835d7e302b6773af1ad4ee2f4524
SHA256: 7d4489e2c80b410234ea069db432ba2d6696bae74d93c7990474a1f1333457a6

Size: 17,044,300 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 44378a6222b82afe421c744e8b503a3b8119ca50
SHA256: 7204ccc7135f7dd5ed62c4d8477b9dbf4c047bd5fa753f6288b8233cded3dac9

Size: 1,500,632 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: 5c47bc45c03b5065829aee644bb1c8b44e4a8e11
SHA256: ee23962ed9c2fc6ad7af2b92e0a9e91b19b5d618de73e08fc836917ae47c237f

Size: 22,890,300 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: 3337bebe201d73c0533769b4b724573e2dfeab52
SHA256: e1adda979003f2f0f7def7369ba8044f5366ff8f7c41c00bd703da8c5454a54c

Size: 3,576,324 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: 5d54cde1a04fc806f8332d82968f1c4f0264d976
SHA256: b13e4a4e658e27869158097e4136e50c5c3ec466a2df43cea77af5aaa6be772b

Size: 14,368,780 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: fe76e721540f4b42d3f8a7d29d7705a20234600d
Size: 104,384 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 1b553874174fb09d64443192baed62fa4b8abf09
Size: 328,880 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: bfe5cf12bac9d68b0be08db52a0cf0cba4aecb72
Size: 442,924 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 6fe34c9135d82e47fc3a0ed188dbc8e570cee8cd
Size: 1,703,232 bytes

Submissions

jrzrqjgg
Submitted
Thu, 24 May 2018 05:27:29 +0000
Signed by
0xFAC0B94FFF2617A2 cbxi4b (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1506416932"