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

Source
coq (8.9.0-1)
Version
8.9.0-1+b2
Architecture
mipsel

Build-Origin
Debian
Build-Architecture
mipsel
Build-Date
Tue, 6 Aug 2019 01:25:57 +0000
Build-Path
/build/coq-eO9cpA/coq-8.9.0

First submitted
Tue, 6 Aug 2019 02:36:36 +0000
SHA1 of .buildinfo
ca7c84ddae1419229debb49bd58faf7ebe1058bd

Binaries

coq (coq_8.9.0-1+b2_mipsel.deb)
SHA1: 7e47e63a565e51326ad99042d679c6090964ee89
SHA256: dea970a6055f0f9950033f4a42a8f7928d2ca219c87760c3ba2bfcd12175ce20

Size: 50,040,652 bytes
coq-theories (coq-theories_8.9.0-1+b2_mipsel.deb)
SHA1: 09ced18c48f5bee611e21a4e5ba05f8252dead38
SHA256: 64ad7efc40947c8ad92e8ebafbce92fa308839c572206e407a743f07b6a4a3c6

Size: 20,358,444 bytes
libcoq-ocaml (libcoq-ocaml_8.9.0-1+b2_mipsel.deb)
SHA1: 0d31719b768ea5e8672fa86523874482a1f27376
SHA256: 049ab939da97849196b2028eacc8618690dd25d4bbfe06aaac47320ce9ca5629

Size: 3,630,148 bytes
libcoq-ocaml-dev (libcoq-ocaml-dev_8.9.0-1+b2_mipsel.deb)
SHA1: e35bba730aa92f243ddd209caa1f18b369da2073
SHA256: 5160b17915c77108da4252dabc3037e783aaa4f1a5e8e9842efdf5792221f9a7

Size: 7,959,952 bytes

Other checksums

libcoq-ocaml-dbgsym_8.9.0-1+b2_mipsel.deb
SHA1: 29dd878b2fd9f90acbeeb6d6b9f31c3c846d032c
Size: 26,088 bytes

Submissions

snanxrjs
Submitted
Tue, 6 Aug 2019 02:36:36 +0000
Signed by
0xB075D1D099E610D9

Environment


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