coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 3 Jan 2018 06:15:39 +0000
Build-Path
/build/coq-8.6

First submitted
Wed, 3 Jan 2018 06:47:03 +0000
SHA1 of .buildinfo
b34227bd222e5f72a72d959921d5e48bf1cded31

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: d536f83a062359c217a306cbf1d12fe9abba77ef
SHA256: 17ffb75f67a84ad01d2c6c78aa4ed7ad2fbd89cd067c6963200f59d20acd905e

Size: 17,038,884 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 27e8aaff8262a3b946c472c09b130a84373ef2e7
SHA256: 1c79e2d0efb3b614cef5a5cda296a66f8ab3546d7fa2cc31703c8a75d3e818d8

Size: 1,504,160 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: b799f16d8a34cc334649897d5fa3b40715039714
SHA256: 5ba56a85561c31b16bb8cc83d651caca75002228a192cd3e793665f2d2fd8d26

Size: 22,888,936 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: 38e3ac3c5602f6d25d123716c17d4e4dcad17c45
SHA256: feda484a4e7bcf979b691e5a57d90dbf20bbb9b811f45102c2d7fc4cb6bb7121

Size: 3,576,372 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: b9b1d0bb57c7c2a1a73fad2314c1e1bba168148b
SHA256: 0ea09c218175481d2b9e0611db27dbbefc23af6b48165153b189fcce3e09eb2e

Size: 14,373,440 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: 373345bee3b7884a1b0ede983d3f3b83c0e19abd
Size: 104,416 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 4a217265b231e939400b0753ab95b0393d61797c
Size: 328,572 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: cbb683ec51869ef593d686f8cd6ec43eaaf13947
Size: 442,908 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 101c92a51bc33213e7ce15bfab6149b1647e57ee
Size: 1,691,228 bytes

Submissions

jnnwh9wq
Submitted
Wed, 3 Jan 2018 06:47:04 +0000
Signed by
0x101CF655F3A0F753 ff4a (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"