coq_8.6-5_amd64.buildinfo (view)

Source
coq
Version
8.6-5
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 7 Mar 2019 14:40:36 +0000
Build-Path
/build/coq-8.6

First submitted
Fri, 2 Feb 2018 11:33:45 +0000
SHA1 of .buildinfo
bf06b098eded6ff06b5e3608bdcd843df730919f

Binaries

coq (coq_8.6-5_amd64.deb)
SHA1: ad3dac3a51ed3eb7c75318eda60f2161f81303a2
SHA256: 0d76736d72357c3f6a6c0295cff79a2d2248d592af68d59cab9109e667521fd2

Size: 17,734,204 bytes
coqide (coqide_8.6-5_amd64.deb)
SHA1: 1ed265631b5ebefe7acccc87d811295d610faea1
SHA256: 15351dd47dcc7aa38945f68bcc8383ae53205609a9746a76ecd635ff7eb470f7

Size: 1,606,888 bytes
coq-theories (coq-theories_8.6-5_amd64.deb)
SHA1: b0a171c109d0318a22daa7df224247b9b038decd
SHA256: 67b3b6eefeb7c0fd3eb0ada67b97ec9c73b36786ed3cf67a68d1e69a7b0f52da

Size: 33,410,912 bytes
libcoq-ocaml (libcoq-ocaml_8.6-5_amd64.deb)
SHA1: 489adbca6cdb3dac5fd5202ea387caf949786c69
SHA256: a8961d8123884a17494ec7f0e66ed50000f1eb95b9b694dac34b2ebc774282fc

Size: 3,644,072 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.6-5_amd64.deb)
SHA1: 25dd8704b1998de0c5d0710c6b9622d4c074e7f9
SHA256: aeb8e34f3b8aaa09b86f43af6b727912610d12f9141dcfe199fe5536dfaa0fef

Size: 13,877,616 bytes

Other checksums

libcoq-ocaml-dev-dbgsym_8.6-5_amd64.deb
SHA1: 0900cf7d0363017ee7c9a0615469d55880eeaaca
Size: 113,436 bytes
libcoq-ocaml-dbgsym_8.6-5_amd64.deb
SHA1: 61a9959d2f2d0a6726c127dae1ee684788390c6d
Size: 369,840 bytes
coqide-dbgsym_8.6-5_amd64.deb
SHA1: b07f5083802ede3287dfe38cc754b2b56a08b22e
Size: 458,920 bytes
coq-theories-dbgsym_8.6-5_amd64.deb
SHA1: 8d65676f9ceb9f4c6301149ebdd4d0dd87608739
Size: 852,240 bytes
coq-dbgsym_8.6-5_amd64.deb
SHA1: 384ea699d4acb39c08964e07d2caa10c457bd46e
Size: 1,943,136 bytes

Submissions

im7qqxso
Submitted
Fri, 2 Feb 2018 11:33:45 +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"