coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sun, 2 Sep 2018 16:00:53 +0000
Build-Path
/build/coq-8.6

First submitted
Sun, 2 Sep 2018 17:58:42 +0000
SHA1 of .buildinfo
373217c0186722119dc75edb06209648f6750edf

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: 924b034de4ecfb8c783945e4952abdc490192a6d
SHA256: 5f81d26ead5d279f2cdf9fef27eed3514c3b555f6b10a6139fb326964fbf92a0

Size: 17,033,272 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 714a183ae1de6cd01c96cb32c2233909ad22bbfe
SHA256: 38a72ec466bb4e865be025993d3466e62fcd80e5ef7f92f65afad0042eb07e57

Size: 1,498,724 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: ff9ead3f650eec9dd244a10ea7c214548a5670a5
SHA256: c99ecdf2647b9d2e86659b388bfa5295a86890180a002ddf1249d92816713775

Size: 22,887,220 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: 577847cf5bfbb29f762f541d2b6b10c99ea4edf8
SHA256: 3c217e654e5dd05eb849625ceeec76103817d5b283f566d402660ad04956cb76

Size: 3,574,436 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: d21ac27843bb4a65741793d36440e76b33565786
SHA256: b39014dec6450bdf2b64de3f159e9b4485e05119a8a5b6c4d57606728a58099b

Size: 14,368,460 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: f82480cc6073922cf9531a81854a6a5347b7c565
Size: 104,948 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: 3df81b6325a116247da5fe68a95e97a970d31a68
Size: 333,440 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: fa87f5da7d7a958b56cda10fa927a02b01c7b338
Size: 442,952 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 2fa00d7a0858917e90bf955c322b49fd7635c675
Size: 1,699,792 bytes

Submissions

r7htvjrx
Submitted
Sun, 2 Sep 2018 17:58:43 +0000
Signed by
0x8D1C4325E9E3C0CC opi2c (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"