coq_8.9.1-4_s390x.buildinfo (view)

Source
coq
Version
8.9.1-4
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Mon, 27 Jan 2020 08:15:17 +0000
Build-Path
/build/coq-gTVUzQ/coq-8.9.1

First submitted
Mon, 27 Jan 2020 12:15:49 +0000
SHA1 of .buildinfo
615dfffef6fe78abafc3dad93fb0aba97422db53

Binaries

coq (coq_8.9.1-4_s390x.deb)
SHA1: 3ae43bd11bed2f1b05b998e2390214e8e1e26993
SHA256: b416865d06cc01c20276668261fd2fc79fdf988a33311ec3f21756714e7ad4f6

Size: 70,692,616 bytes
coqide (coqide_8.9.1-4_s390x.deb)
SHA1: 99f66bdd16aa0323cc0c60aa73f75412200fbc95
SHA256: a54153223fb0169d901bc2a9efded5f9f7c549f2e0f6a1637e701e19215fc0e1

Size: 10,200,008 bytes
coq-theories (coq-theories_8.9.1-4_s390x.deb)
SHA1: 1a941d13c191859be83df254fb034e8219e3db71
SHA256: d6aaa4a37c051ed425024da26f283ea89d7fea5c15c0605ded6904c8b4308974

Size: 20,354,092 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-4_s390x.deb)
SHA1: 67e4add3aa222a59527eedc6edaaf3ace6cfd101
SHA256: 84e5d0df96cc7a05f98f5f86c10cc2e4b22d9f9340634517e8987c6b13528d9f

Size: 5,802,648 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-4_s390x.deb)
SHA1: a7499597d377b4544e1c4bad0337ba89154a7124
SHA256: c168fce79424d61cfa3902f36bc309688649663028b854d3acdaac2a2d6fb6cb

Size: 15,156,420 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-4_s390x.deb
SHA1: 856856eca5103d3160bfde819331548eafef24a6
Size: 459,392 bytes
coqide-dbgsym_8.9.1-4_s390x.deb
SHA1: 3a970587c01ffdc562a061d4f9e5b696c79f9270
Size: 1,365,380 bytes
coq-dbgsym_8.9.1-4_s390x.deb
SHA1: a3ac71ba49a1cdb85091c28aa3d07286ff6ea9a3
Size: 4,250,144 bytes

Submissions

9j33op9f
Submitted
Mon, 27 Jan 2020 12:15:50 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


DEB_BUILD_OPTIONS="parallel=2"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1580092173"