coq_8.6-5_amd64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 3 Sep 2019 04:20:08 +0000
Build-Path
/build/coq-8.6

First submitted
Wed, 1 Aug 2018 00:43:00 +0000
SHA1 of .buildinfo
7df177cd877af36538babbef232d3b0a7b187d32

Binaries

coq (coq_8.6-5_amd64.deb)
SHA1: f987b4c2ca14b8783a3b72677510509a58ffbd3b
SHA256: 712fd55a8bbdb1b051fd819e3b33a9684240aa34d62200151faa7e0839fac27c

Size: 17,737,576 bytes
coqide (coqide_8.6-5_amd64.deb)
SHA1: eefaa68fbea8b961aa451b0b173f2fd82f6ff4e1
SHA256: e3784237e7adde52833a2f2368c6b3f3475a1198f5150da55cb4c100e8c0cf04

Size: 1,608,156 bytes
coq-theories (coq-theories_8.6-5_amd64.deb)
SHA1: d7edfb33cd29922614a2eafce0826be0cdbe14b0
SHA256: ab96d120328d4b7ac18a37ab68146e829a14d09e277e2e6de85b0ee89f635502

Size: 33,433,708 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_amd64.deb)
SHA1: eca59da8aea4a98a4a0a28794f1fdbbd36dd723d
SHA256: 440a6fda0374169479bdd742be0d775a47856a053b88e7fa320eb818c3cf0840

Size: 3,646,084 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_amd64.deb)
SHA1: 51cac801a10cfef2179ceb3f4a4bd4867974e153
SHA256: 3f88ae021b61b9b1156dce5b72c2fd7896face8c967c92e2c6a1cf7ff3ed684c

Size: 13,879,536 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb
SHA1: 012ff5666578fbc6ecd853154851bae320b2a5f9
Size: 113,876 bytes
libcoq-ocaml-dbgsym_8.6-5_amd64.deb
SHA1: 5804c95ea0a981b034f50b7faf835dcdf11648c3
Size: 375,068 bytes
coqide-dbgsym_8.6-5_amd64.deb
SHA1: 3d2b949660194cacab61708efb895ea11adb9652
Size: 457,580 bytes
coq-theories-dbgsym_8.6-5_amd64.deb
SHA1: ff48318b116cc5f521ae5b6259f7eda4b0eb98d7
Size: 830,708 bytes
coq-dbgsym_8.6-5_amd64.deb
SHA1: 6392692ea753bf964734b45cd5b9fd787733f67f
Size: 1,947,840 bytes

Submissions

m7w3ua3i
Submitted
Wed, 1 Aug 2018 00:43:00 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"