coq_8.6-5_amd64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 27 Dec 2018 13:27:08 +0000
Build-Path
/build/1st/coq-8.6

First submitted
Fri, 24 Nov 2017 09:50:38 +0000
SHA1 of .buildinfo
b4715993fb299d98ce5df8006c56b31879ea6648

Binaries

coq (coq_8.6-5_amd64.deb)
SHA1: 9e9f14e4135a186684eee762e14ac9953dfc82b8
SHA256: e2f77b0e2dc3ebe60ea1aa7e1ae440b059a183ff0b585efe02ba96bbf8842857

Size: 17,742,152 bytes
coqide (coqide_8.6-5_amd64.deb)
SHA1: 4591840486dc8065f5aad8a4f6fe83a9a14be44e
SHA256: cf9e60ebcb7ee0ceb26cf2435b681d5fa9fe95bc9dff2f24ed58c3a9f83444ff

Size: 1,606,408 bytes
coq-theories (coq-theories_8.6-5_amd64.deb)
SHA1: 8b7745ca5d64fc3bb7ae298c1a1bae58253efaf0
SHA256: a77563da4aa1a1f029e0706806702b3ea2bbd09ffe7eda05cb14a80af496864a

Size: 33,392,820 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_amd64.deb)
SHA1: 8e4be339bdeaf9c6f5eb34cc4e2b75bfd04e37a6
SHA256: a049988033d10f27be432183acaab68678ee694b0fb71ab9161ae3ba0f7f3233

Size: 3,646,948 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_amd64.deb)
SHA1: 14c032a1e854cd267e52b1e7888bbb72868a0d6c
SHA256: 81aac56621e7d315c127eba3f56176c6650d0de9775d93f0e2295ea2889ad0ac

Size: 13,877,712 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb
SHA1: 483b09fd4d07975b983bad4214c7d6b7c94fc464
Size: 113,512 bytes
libcoq-ocaml-dbgsym_8.6-5_amd64.deb
SHA1: 5414455562a1fe8f9ea7257ea439c883d983f914
Size: 370,480 bytes
coqide-dbgsym_8.6-5_amd64.deb
SHA1: 9a14332402c117b6601caff2d7e0e4f7260310c9
Size: 458,236 bytes
coq-theories-dbgsym_8.6-5_amd64.deb
SHA1: 76484835680327e5d7370881c92e702e494cd987
Size: 850,484 bytes
coq-dbgsym_8.6-5_amd64.deb
SHA1: fc6457f0bdf5bfb4a94c771993307d690e9650f8
Size: 1,938,784 bytes

Submissions

dyco4ouw
Submitted
Fri, 24 Nov 2017 09:50:39 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="coq_8.6-5=/build/1st/coq-8.6"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1506416932"