coq_8.6-5_armhf.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 25 Jun 2018 13:25:25 +0000
Build-Path
/build/coq-8.6

First submitted
Mon, 25 Jun 2018 15:24:14 +0000
SHA1 of .buildinfo
40357dea657a24ea2523b41b29ec12caa63ff02b

Binaries

coq (coq_8.6-5_armhf.deb)
SHA1: a1cac40b991bb3a1b86b9d5567a77bd280b44970
SHA256: e57fb29d08adca5845b05febd416d0497ee24cf8e78ed9338ceef840706286d8

Size: 17,034,816 bytes
coqide (coqide_8.6-5_armhf.deb)
SHA1: 07da89a4302193dd414e0a8d2bd792e384d17f3a
SHA256: 2e49f862b0bed4599148498ff75f1f8ab98384a82e8372f4f6093403c209e8cf

Size: 1,499,688 bytes
coq-theories (coq-theories_8.6-5_armhf.deb)
SHA1: f101bdb7ccae6dbee4769eed571d484ea7e33320
SHA256: af33df2f49e540db837b497a355d71f8d05c688408e5fb9d8202662d9953ef61

Size: 22,891,824 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_armhf.deb)
SHA1: a23fe27dae4813c9d1056986cec3d8565acda504
SHA256: 3574c08890bdfa4dda61eb8826a2f31ed20a1993a70d9631457ecbdb36f65c3e

Size: 3,576,084 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_armhf.deb)
SHA1: ff8e614a2c9cdda26986225a3fc69654f0c5c8d1
SHA256: 2c8e571eda811a524fc6ea332a24523db9fb676915cd87421a2e6da78c793318

Size: 14,367,144 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_armhf.deb
SHA1: 8f323468a00ef65ba34d178d0edb8f7b50486fcd
Size: 104,312 bytes
libcoq-ocaml-dbgsym_8.6-5_armhf.deb
SHA1: b21223cca968928757d7970f50419f6507bb54c7
Size: 329,184 bytes
coqide-dbgsym_8.6-5_armhf.deb
SHA1: 557b261366049595560c25f1cecf98d58aba29a3
Size: 442,764 bytes
coq-dbgsym_8.6-5_armhf.deb
SHA1: 0c294a63e06db43c070e9f391f5a9fe1337dbec0
Size: 1,699,384 bytes

Submissions

udfeiq7r
Submitted
Mon, 25 Jun 2018 15:24:14 +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"