coq (8.9.0-1)_8.9.0-1+b1_mips.buildinfo (view)

Source
coq (8.9.0-1)
Version
8.9.0-1+b1
Architecture
mips

Build-Origin
Debian
Build-Architecture
mips
Build-Date
Mon, 29 Jul 2019 12:33:16 +0000
Build-Path
/build/coq-HfGWHu/coq-8.9.0

First submitted
Mon, 29 Jul 2019 18:21:18 +0000
SHA1 of .buildinfo
97e48e2da9271a99e4be7fb3fd9591f44e558fb6

Binaries

coq (coq_8.9.0-1+b1_mips.deb)
SHA1: bd31154eb4e3e2adfc2062e163846dae12473319
SHA256: 7abb3b33c938b99d5a3d9920557477f23c40269f7250878509e395a93efe0991

Size: 50,037,100 bytes
coq-theories (coq-theories_8.9.0-1+b1_mips.deb)
SHA1: 158cb409a65d423d7370d444059238e56b6c400f
SHA256: 72d60be642a0978135c44c5061ebd961c8c45b71ae980126bc1a5debdae86b90

Size: 20,356,644 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1+b1_mips.deb)
SHA1: 4402b437318237e1e745ae89bee3655afbc4d3d3
SHA256: 22d0445cf84f4b6b0d6e664b4dc0367e4f87867a4c1188c740f9367e00da6b19

Size: 3,628,780 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1+b1_mips.deb)
SHA1: 0bba51360f4cfb7e3bb2bad743d9d05e9f0bae5e
SHA256: 36bd9738097be596e6ffb65d79dfa864bbafb29a47705e0f4b848e2e6ef0aa03

Size: 7,959,380 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1+b1_mips.deb
SHA1: 8b9c4d2f371c13adc78394994882ad171925926f
Size: 26,896 bytes

Submissions

ni9hh7mk
Submitted
Mon, 29 Jul 2019 18:21:19 +0000
Signed by
0xCCA15BB882AA0EFB
netqoj3v
Submitted
Tue, 30 Jul 2019 00:21:25 +0000
Signed by
0xCCA15BB882AA0EFB

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1564388576"