coq_8.9.1-5_s390x.buildinfo (view)

Source
coq
Version
8.9.1-5
Architecture
s390x

Build-Origin
Debian
Build-Architecture
s390x
Build-Date
Wed, 29 Jan 2020 08:17:28 +0000
Build-Path
/build/coq-Rd3c7A/coq-8.9.1

First submitted
Wed, 29 Jan 2020 12:15:08 +0000
SHA1 of .buildinfo
e663ad6998e6047520600910773cbf99685e637b

Binaries

coq (coq_8.9.1-5_s390x.deb)
SHA1: e8f285b277f4b03e72b7d2d2ae666c250d26b3cb
SHA256: 99c3fc3a73901c98323cb60a8e6f512c64b74586d8226a43d992db39f8d856e7

Size: 70,721,504 bytes
coqide (coqide_8.9.1-5_s390x.deb)
SHA1: 867eee67c2db0020caab14e2fb8c818939860adc
SHA256: decd7c81216a16dae298c916b33e91cd06205c275507504da5e9379518913044

Size: 1,877,544 bytes
coq-theories (coq-theories_8.9.1-5_s390x.deb)
SHA1: 570dd2a05719e4d5c5af108878f4eeae8d50c575
SHA256: 9b7e0bf55f298440d4d5898ca8f43f20771807907234b09a3c231976cc14d58f

Size: 20,356,252 bytes
libcoq-ocaml (libcoq-ocaml_8.9.1-5_s390x.deb)
SHA1: 2baabb3d574047f80a82d6307253ec73d14d428a
SHA256: bd4e130592d44b4fff77508fed8fa1ce8d4fc2262db8f91255cbd699940defef

Size: 5,804,512 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.1-5_s390x.deb)
SHA1: e45a6cafecd2c3337d7e7f0cc05013b529032744
SHA256: e0ef96ec6a63d93579e2a585573dd5385f7f7817ab6b0264ccac29c14df576ee

Size: 15,137,492 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.1-5_s390x.deb
SHA1: 7efb19df006f24f7600ea9697b0fe48906ae27db
Size: 459,432 bytes
coqide-dbgsym_8.9.1-5_s390x.deb
SHA1: fbf286b6c3be95be3e3bc0804fc301e333a12b1b
Size: 433,356 bytes
coq-dbgsym_8.9.1-5_s390x.deb
SHA1: 01f930087e97aff8cf35affb25132c15d6ea6b35
Size: 4,912,144 bytes

Submissions

quarbccp
Submitted
Wed, 29 Jan 2020 12:15:08 +0000
Signed by
0x19DDA54D1FD5EA83

Environment


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